diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux/tool/interpreter.lux | 36 |
1 files changed, 16 insertions, 20 deletions
diff --git a/stdlib/source/library/lux/tool/interpreter.lux b/stdlib/source/library/lux/tool/interpreter.lux index 3ba22ff82..f54f0ae59 100644 --- a/stdlib/source/library/lux/tool/interpreter.lux +++ b/stdlib/source/library/lux/tool/interpreter.lux @@ -130,11 +130,10 @@ (function (_ state) (case (<| (phase.result' state) (sharing [anchor expression directive] - (State+ anchor expression directive) - state - - <Interpretation> - (interpret_directive code))) + (is (State+ anchor expression directive) + state) + (is <Interpretation> + (interpret_directive code)))) {try.#Success [state' output]} {try.#Success [state' output]} @@ -142,11 +141,10 @@ (if (ex.match? total.not_a_directive error) (<| (phase.result' state) (sharing [anchor expression directive] - (State+ anchor expression directive) - state - - <Interpretation> - (interpret_expression code))) + (is (State+ anchor expression directive) + state) + (is <Interpretation> + (interpret_expression code)))) {try.#Failure error})))) ) @@ -178,19 +176,17 @@ [source' input] (syntax.parse ..module syntax.no_aliases (text.size _code) (the #source context)) [state' representation] (let [... TODO: Simplify ASAP state (sharing [anchor expression directive] - <Context> - context - - (State+ anchor expression directive) - (the #state context))] + (is <Context> + context) + (is (State+ anchor expression directive) + (the #state context)))] (<| (phase.result' state) ... TODO: Simplify ASAP (sharing [anchor expression directive] - <Context> - context - - (Operation anchor expression directive Text) - (execute (the #configuration context) input))))] + (is <Context> + context) + (is (Operation anchor expression directive Text) + (execute (the #configuration context) input)))))] (in [(|> context (has #state state') (has #source source')) |