diff options
Diffstat (limited to 'stdlib/source/library/lux/tool/interpreter.lux')
| -rw-r--r-- | stdlib/source/library/lux/tool/interpreter.lux | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/library/lux/tool/interpreter.lux b/stdlib/source/library/lux/tool/interpreter.lux index c26e9b789..dd6713ff4 100644 --- a/stdlib/source/library/lux/tool/interpreter.lux +++ b/stdlib/source/library/lux/tool/interpreter.lux @@ -58,7 +58,7 @@ "Till next time...") (def: enter_module - (All [anchor expression directive] + (All (_ anchor expression directive) (Operation anchor expression directive Any)) (directive.lifted_analysis (do phase.monad @@ -66,7 +66,7 @@ (analysis.set_current_module ..module)))) (def: (initialize Monad<!> Console<!> platform configuration generation_bundle) - (All [! anchor expression directive] + (All (_ ! anchor expression directive) (-> (Monad !) (Console !) (Platform ! anchor expression directive) Configuration @@ -90,7 +90,7 @@ (with_expansions [<Interpretation> (as_is (Operation anchor expression directive [Type Any]))] (def: (interpret_directive code) - (All [anchor expression directive] + (All (_ anchor expression directive) (-> Code <Interpretation>)) (do phase.monad [_ (total.phase code) @@ -98,7 +98,7 @@ (in [Any []]))) (def: (interpret_expression code) - (All [anchor expression directive] + (All (_ anchor expression directive) (-> Code <Interpretation>)) (do {! phase.monad} [state (extension.lifted phase.get_state) @@ -125,7 +125,7 @@ (in [codeT codeV])))))) (def: (interpret configuration code) - (All [anchor expression directive] + (All (_ anchor expression directive) (-> Configuration Code <Interpretation>)) (function (_ state) (case (<| (phase.result' state) @@ -149,7 +149,7 @@ ) (def: (execute configuration code) - (All [anchor expression directive] + (All (_ anchor expression directive) (-> Configuration Code (Operation anchor expression directive Text))) (do phase.monad [[codeT codeV] (interpret configuration code) @@ -169,7 +169,7 @@ (with_expansions [<Context> (as_is (Context anchor expression directive))] (def: (read_eval_print context) - (All [anchor expression directive] + (All (_ anchor expression directive) (-> <Context> (Try [<Context> Text]))) (do try.monad [.let [[_where _offset _code] (value@ #source context)] @@ -193,7 +193,7 @@ representation])))) (def: .public (run! Monad<!> Console<!> platform configuration generation_bundle) - (All [! anchor expression directive] + (All (_ ! anchor expression directive) (-> (Monad !) (Console !) (Platform ! anchor expression directive) Configuration |