diff options
Diffstat (limited to '')
| -rw-r--r-- | new-luxc/test/test/luxc/common.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/new-luxc/test/test/luxc/common.lux b/new-luxc/test/test/luxc/common.lux index b5754b088..01e3d1aaa 100644 --- a/new-luxc/test/test/luxc/common.lux +++ b/new-luxc/test/test/luxc/common.lux @@ -61,7 +61,7 @@ (do-template [<name> <host>] [(def: #export <name> - (IO Compiler) + (IO Lux) (do io.Monad<IO> [host <host>] (wrap (initL.compiler host))))] @@ -78,7 +78,7 @@ ) (def: (runner translate-runtime translate-expression eval init) - (All [a] (-> (Meta Top) (-> Synthesis (Meta a)) (-> a (Meta Top)) (IO Compiler) + (All [a] (-> (Meta Top) (-> Synthesis (Meta a)) (-> a (Meta Top)) (IO Lux) Runner)) (function (_ synthesis) (|> (do macro.Monad<Meta> @@ -89,7 +89,7 @@ (macro.run (io.run init))))) (def: (definer translate-runtime translate-expression eval init translate-def) - (All [a] (-> (Meta Top) (-> Synthesis (Meta a)) (-> a (Meta Top)) (IO Compiler) + (All [a] (-> (Meta Top) (-> Synthesis (Meta a)) (-> a (Meta Top)) (IO Lux) (-> Text Type a Code (Meta Top)) Definer)) (function (_ [module-name def-name] synthesis) |