diff options
Diffstat (limited to 'stdlib/source/lux/tool/interpreter.lux')
-rw-r--r-- | stdlib/source/lux/tool/interpreter.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/lux/tool/interpreter.lux b/stdlib/source/lux/tool/interpreter.lux index 5a1b30d06..efff99be8 100644 --- a/stdlib/source/lux/tool/interpreter.lux +++ b/stdlib/source/lux/tool/interpreter.lux @@ -95,7 +95,7 @@ (def: (interpret-expression code) (All [anchor expression directive] (-> Code <Interpretation>)) - (do {@ phase.monad} + (do {! phase.monad} [state (extension.lift phase.get-state) #let [analyse (get@ [#directive.analysis #directive.phase] state) synthesize (get@ [#directive.synthesis #directive.phase] state) @@ -103,7 +103,7 @@ [_ codeT codeA] (directive.lift-analysis (analysis.with-scope (type.with-fresh-env - (do @ + (do ! [[codeT codeA] (type.with-inference (analyse code)) codeT (type.with-env @@ -113,7 +113,7 @@ (synthesize codeA))] (directive.lift-generation (generation.with-buffer - (do @ + (do ! [codeH (generate codeS) count generation.next codeV (generation.evaluate! (format "interpretation_" (%.nat count)) codeH)] @@ -193,13 +193,13 @@ Configuration (generation.Bundle anchor expression directive) (! Any))) - (do {@ Monad<!>} + (do {! Monad<!>} [state (initialize Monad<!> Console<!> platform configuration)] (loop [context {#configuration configuration #state state #source ..fresh-source} multi-line? #0] - (do @ + (do ! [_ (if multi-line? (:: Console<!> write " ") (:: Console<!> write "> ")) @@ -209,7 +209,7 @@ (:: Console<!> write ..farewell-message) (case (read-eval-print (update@ #source (add-line line) context)) (#try.Success [context' representation]) - (do @ + (do ! [_ (:: Console<!> write representation)] (recur context' #0)) |