aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/lua/function.lux
diff options
context:
space:
mode:
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.lux10
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