diff options
Diffstat (limited to 'stdlib/source/lux/tool/compiler/language/lux/phase/synthesis/function.lux')
-rw-r--r-- | stdlib/source/lux/tool/compiler/language/lux/phase/synthesis/function.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/lux/tool/compiler/language/lux/phase/synthesis/function.lux b/stdlib/source/lux/tool/compiler/language/lux/phase/synthesis/function.lux index 91cea2d9d..7fe35a6c3 100644 --- a/stdlib/source/lux/tool/compiler/language/lux/phase/synthesis/function.lux +++ b/stdlib/source/lux/tool/compiler/language/lux/phase/synthesis/function.lux @@ -42,11 +42,11 @@ (def: #export (apply phase) (-> Phase Phase) - (function (_ exprA) + (function (_ archive exprA) (let [[funcA argsA] (////analysis.application exprA)] (do phase.monad - [funcS (phase funcA) - argsS (monad.map @ phase argsA) + [funcS (phase archive funcA) + argsS (monad.map @ (phase archive) argsA) ## locals /.locals ] (with-expansions [<apply> (as-is (/.function/apply [funcS argsS]))] @@ -201,10 +201,10 @@ _ (phase@wrap expression))) -(def: #export (abstraction phase environment bodyA) - (-> Phase Environment Analysis (Operation Synthesis)) +(def: #export (abstraction phase environment archive bodyA) + (-> Phase Environment Phase) (do phase.monad - [bodyS (phase bodyA)] + [bodyS (phase archive bodyA)] (case bodyS (^ (/.function/abstraction [env' down-arity' bodyS'])) (|> bodyS' |