diff options
Diffstat (limited to 'stdlib/source/library/lux/tool/interpreter.lux')
| -rw-r--r-- | stdlib/source/library/lux/tool/interpreter.lux | 38 |
1 files changed, 19 insertions, 19 deletions
diff --git a/stdlib/source/library/lux/tool/interpreter.lux b/stdlib/source/library/lux/tool/interpreter.lux index 85020815f..323aa7ff4 100644 --- a/stdlib/source/library/lux/tool/interpreter.lux +++ b/stdlib/source/library/lux/tool/interpreter.lux @@ -75,14 +75,14 @@ (do Monad<!> [state (platform.initialize platform generation_bundle) state (platform.compile platform - (with@ #cli.module syntax.prelude configuration) - (with@ [#extension.state - #directive.analysis #directive.state - #extension.state - #.info #.mode] - #.Interpreter + (with@ cli.#module syntax.prelude configuration) + (with@ [extension.#state + directive.#analysis directive.#state + extension.#state + .#info .#mode] + {.#Interpreter} state)) - [state _] (\ (value@ #platform.file_system platform) + [state _] (\ (value@ platform.#file_system platform) lift (phase.result' state enter_module)) _ (\ Console<!> write ..welcome_message)] (in state))) @@ -102,9 +102,9 @@ (-> Code <Interpretation>)) (do [! phase.monad] [state (extension.lifted phase.get_state) - .let [analyse (value@ [#directive.analysis #directive.phase] state) - synthesize (value@ [#directive.synthesis #directive.phase] state) - generate (value@ [#directive.generation #directive.phase] state)] + .let [analyse (value@ [directive.#analysis directive.#phase] state) + synthesize (value@ [directive.#synthesis directive.#phase] state) + generate (value@ [directive.#generation directive.#phase] state)] [_ codeT codeA] (directive.lifted_analysis (analysis.with_scope (type.with_fresh_env @@ -135,10 +135,10 @@ <Interpretation> (interpret_directive code))) - {#try.Success [state' output]} - {#try.Success [state' output]} + {try.#Success [state' output]} + {try.#Success [state' output]} - {#try.Failure error} + {try.#Failure error} (if (ex.match? total.not_a_directive error) (<| (phase.result' state) (:sharing [anchor expression directive] @@ -147,7 +147,7 @@ <Interpretation> (interpret_expression code))) - {#try.Failure error})))) + {try.#Failure error})))) ) (def: (execute configuration code) @@ -156,9 +156,9 @@ (do phase.monad [[codeT codeV] (interpret configuration code) state phase.get_state] - (in (/type.represent (value@ [#extension.state - #directive.analysis #directive.state - #extension.state] + (in (/type.represent (value@ [extension.#state + directive.#analysis directive.#state + extension.#state] state) codeT codeV)))) @@ -218,12 +218,12 @@ (text\= ..exit_command line)) (\ Console<!> write ..farewell_message) (case (read_eval_print (revised@ #source (add_line line) context)) - {#try.Success [context' representation]} + {try.#Success [context' representation]} (do ! [_ (\ Console<!> write representation)] (recur context' #0)) - {#try.Failure error} + {try.#Failure error} (if (ex.match? syntax.end_of_file error) (recur context #1) (exec (log! (ex.error ..error error)) |