diff options
Diffstat (limited to 'stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/lua/function.lux')
-rw-r--r-- | stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/lua/function.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/lua/function.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/lua/function.lux index 38a769175..606631373 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/lua/function.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/lua/function.lux @@ -3,7 +3,7 @@ (.require [library - [lux (.except Label Analysis Synthesis function) + [lux (.except Label function) [abstract ["[0]" monad (.only do)]] [data @@ -23,8 +23,8 @@ ["/[1]" // ["[1][0]" reference] ["//[1]" /// - [analysis (.only Abstraction Reification Analysis)] - [synthesis (.only Synthesis)] + [analysis (.only Abstraction Reification)] + ["[0]" synthesis] ["[0]" phase (.use "[1]#[0]" monad)] ["[1][0]" translation] ["//[1]" /// @@ -39,7 +39,7 @@ [variable (.only Register Variable)]]]]]]) (def .public (apply expression archive [functionS argsS+]) - (Translator (Reification Synthesis)) + (Translator (Reification synthesis.Term)) (do [! phase.monad] [functionO (expression archive functionS) argsO+ (monad.each ! (expression archive) argsS+)] @@ -73,7 +73,7 @@ (_.label (format (///reference.artifact function_name) "_scope"))) (def .public (function statement expression archive [environment arity bodyS]) - (-> Phase! (Translator (Abstraction Synthesis))) + (-> Phase! (Translator (Abstraction synthesis.Term))) (do [! phase.monad] [dependencies (cache.dependencies archive bodyS) [function_name body!] (/////translation.with_new_context archive dependencies |