diff options
Diffstat (limited to 'stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/python/function.lux')
-rw-r--r-- | stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/python/function.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/python/function.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/python/function.lux index 959c8a6d2..a17372cfe 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/python/function.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/python/function.lux @@ -3,7 +3,7 @@ (.require [library - [lux (.except Analysis Synthesis function) + [lux (.except function) [abstract ["[0]" monad (.only do)]] [data @@ -24,8 +24,8 @@ ["/[1]" // ["[1][0]" reference] ["//[1]" /// - [analysis (.only Environment Abstraction Reification Analysis)] - [synthesis (.only Synthesis)] + [analysis (.only Environment Abstraction Reification)] + ["[0]" synthesis] ["[0]" phase] ["[1][0]" translation] ["//[1]" /// @@ -40,7 +40,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+)] @@ -75,7 +75,7 @@ (|>> ++ //when.register)) (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_module function_artifact] body!] (/////translation.with_new_context archive dependencies |