diff options
Diffstat (limited to 'stdlib/source/library/lux/tool/interpreter.lux')
-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 f54f0ae59..da8c16991 100644 --- a/stdlib/source/library/lux/tool/interpreter.lux +++ b/stdlib/source/library/lux/tool/interpreter.lux @@ -32,32 +32,32 @@ (exception: .public (error [message Text]) message) -(def: .public module "<INTERPRETER>") +(def .public module "<INTERPRETER>") -(def: fresh_source +(def fresh_source Source [[..module 1 0] 0 ""]) -(def: (add_line line [where offset input]) +(def (add_line line [where offset input]) (-> Text Source Source) [where offset (format input text.new_line line)]) -(def: exit_command +(def exit_command Text "exit") -(def: welcome_message +(def welcome_message Text (format text.new_line "Welcome to the interpreter!" text.new_line "Type '" ..exit_command "' to leave." text.new_line text.new_line)) -(def: farewell_message +(def farewell_message Text "Till next time...") -(def: enter_module +(def enter_module (All (_ anchor expression directive) (Operation anchor expression directive Any)) (directive.lifted_analysis @@ -65,7 +65,7 @@ [_ (module.create 0 ..module)] (analysis.set_current_module ..module)))) -(def: (initialize Monad<!> Console<!> platform configuration generation_bundle) +(def (initialize Monad<!> Console<!> platform configuration generation_bundle) (All (_ ! anchor expression directive) (-> (Monad !) (Console !) (Platform ! anchor expression directive) @@ -89,7 +89,7 @@ (with_expansions [<Interpretation> (these (Operation anchor expression directive [Type Any]))] - (def: (interpret_directive code) + (def (interpret_directive code) (All (_ anchor expression directive) (-> Code <Interpretation>)) (do phase.monad @@ -97,7 +97,7 @@ _ init.refresh] (in [Any []]))) - (def: (interpret_expression code) + (def (interpret_expression code) (All (_ anchor expression directive) (-> Code <Interpretation>)) (do [! phase.monad] @@ -124,7 +124,7 @@ codeV (generation.evaluate! (format "interpretation_" (%.nat count)) codeH)] (in [codeT codeV])))))) - (def: (interpret configuration code) + (def (interpret configuration code) (All (_ anchor expression directive) (-> Configuration Code <Interpretation>)) (function (_ state) @@ -148,7 +148,7 @@ {try.#Failure error})))) ) -(def: (execute configuration code) +(def (execute configuration code) (All (_ anchor expression directive) (-> Configuration Code (Operation anchor expression directive Text))) (do phase.monad @@ -168,7 +168,7 @@ #source Source])) (with_expansions [<Context> (these (Context anchor expression directive))] - (def: (read_eval_print context) + (def (read_eval_print context) (All (_ anchor expression directive) (-> <Context> (Try [<Context> Text]))) (do try.monad @@ -192,7 +192,7 @@ (has #source source')) representation])))) -(def: .public (run! Monad<!> Console<!> platform configuration generation_bundle) +(def .public (run! Monad<!> Console<!> platform configuration generation_bundle) (All (_ ! anchor expression directive) (-> (Monad !) (Console !) (Platform ! anchor expression directive) |