From 022ada35548ef5e0e3b9614f9bb96de9d2137ced Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Thu, 10 May 2018 00:04:20 -0400 Subject: - Re-named "Compiler" type to "Lux". --- new-luxc/test/test/luxc/common.lux | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'new-luxc/test') 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 [ ] [(def: #export - (IO Compiler) + (IO Lux) (do io.Monad [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 @@ -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) -- cgit v1.2.3