diff options
Diffstat (limited to 'stdlib/source/library/lux/tool/interpreter.lux')
| -rw-r--r-- | stdlib/source/library/lux/tool/interpreter.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/library/lux/tool/interpreter.lux b/stdlib/source/library/lux/tool/interpreter.lux index 14f53e927..6e28d5c1a 100644 --- a/stdlib/source/library/lux/tool/interpreter.lux +++ b/stdlib/source/library/lux/tool/interpreter.lux @@ -60,7 +60,7 @@ (def: enter_module (All [anchor expression directive] (Operation anchor expression directive Any)) - (directive.lift_analysis + (directive.lifted_analysis (do phase.monad [_ (module.create 0 ..module)] (analysis.set_current_module ..module)))) @@ -101,11 +101,11 @@ (All [anchor expression directive] (-> Code <Interpretation>)) (do {! phase.monad} - [state (extension.lift phase.get_state) + [state (extension.lifted phase.get_state) .let [analyse (get@ [#directive.analysis #directive.phase] state) synthesize (get@ [#directive.synthesis #directive.phase] state) generate (get@ [#directive.generation #directive.phase] state)] - [_ codeT codeA] (directive.lift_analysis + [_ codeT codeA] (directive.lifted_analysis (analysis.with_scope (type.with_fresh_env (do ! @@ -114,9 +114,9 @@ codeT (type.with_env (check.clean codeT))] (in [codeT codeA]))))) - codeS (directive.lift_synthesis + codeS (directive.lifted_synthesis (synthesize codeA))] - (directive.lift_generation + (directive.lifted_generation (generation.with_buffer (do ! [codeH (generate codeS) |