aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/js/function.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/js/function.lux')
-rw-r--r--stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/js/function.lux10
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/js/function.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/js/function.lux
index 39b5abf84..b4bf4fa40 100644
--- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/js/function.lux
+++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/js/function.lux
@@ -3,7 +3,7 @@
(.require
[library
- [lux (.except Analysis Synthesis function)
+ [lux (.except function)
[abstract
["[0]" monad (.only do)]]
[data
@@ -23,9 +23,9 @@
["/[1]" //
["[1][0]" reference]
["//[1]" ///
- [analysis (.only Abstraction Reification Analysis)]
- [synthesis (.only Synthesis)]
+ [analysis (.only Abstraction Reification)]
["[0]" phase (.use "[1]#[0]" monad)]
+ ["[0]" synthesis]
["[1][0]" translation]
["//[1]" ///
[arity (.only Arity)]
@@ -39,7 +39,7 @@
["[1]" artifact]]]]]]]])
(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+)]
@@ -77,7 +77,7 @@
(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