diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux/tool/interpreter.lux | 28 |
1 files changed, 14 insertions, 14 deletions
diff --git a/stdlib/source/library/lux/tool/interpreter.lux b/stdlib/source/library/lux/tool/interpreter.lux index 05daa46aa..ccd32f12a 100644 --- a/stdlib/source/library/lux/tool/interpreter.lux +++ b/stdlib/source/library/lux/tool/interpreter.lux @@ -85,7 +85,7 @@ [state _] (\ (get@ #platform.file_system platform) lift (phase.run' state enter_module)) _ (\ Console<!> write ..welcome_message)] - (wrap state))) + (in state))) (with_expansions [<Interpretation> (as_is (Operation anchor expression directive [Type Any]))] @@ -95,7 +95,7 @@ (do phase.monad [_ (total.phase code) _ init.refresh] - (wrap [Any []]))) + (in [Any []]))) (def: (interpret_expression code) (All [anchor expression directive] @@ -113,7 +113,7 @@ (analyse code)) codeT (type.with_env (check.clean codeT))] - (wrap [codeT codeA]))))) + (in [codeT codeA]))))) codeS (directive.lift_synthesis (synthesize codeA))] (directive.lift_generation @@ -122,7 +122,7 @@ [codeH (generate codeS) count generation.next codeV (generation.evaluate! (format "interpretation_" (%.nat count)) codeH)] - (wrap [codeT codeV])))))) + (in [codeT codeV])))))) (def: (interpret configuration code) (All [anchor expression directive] @@ -154,12 +154,12 @@ (do phase.monad [[codeT codeV] (interpret configuration code) state phase.get_state] - (wrap (/type.represent (get@ [#extension.state - #directive.analysis #directive.state - #extension.state] - state) - codeT - codeV)))) + (in (/type.represent (get@ [#extension.state + #directive.analysis #directive.state + #extension.state] + state) + codeT + codeV)))) (type: (Context anchor expression directive) {#configuration Configuration @@ -186,10 +186,10 @@ context} {(Operation anchor expression directive Text) (execute (get@ #configuration context) input)})))] - (wrap [(|> context - (set@ #state state') - (set@ #source source')) - representation])))) + (in [(|> context + (set@ #state state') + (set@ #source source')) + representation])))) (def: #export (run Monad<!> Console<!> platform configuration generation_bundle) (All [! anchor expression directive] |