aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/experiment
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/experiment')
-rw-r--r--stdlib/source/experiment/tool/interpreter.lux14
1 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/source/experiment/tool/interpreter.lux b/stdlib/source/experiment/tool/interpreter.lux
index 3a001396a..09a9e72cd 100644
--- a/stdlib/source/experiment/tool/interpreter.lux
+++ b/stdlib/source/experiment/tool/interpreter.lux
@@ -80,9 +80,9 @@
.#info .#mode]
{.#Interpreter}
state))
- [state _] (at (the platform.#file_system platform)
+ [state _] (of (the platform.#file_system platform)
lift (phase.result' state enter_module))
- _ (at Console<!> write ..welcome_message)]
+ _ (of Console<!> write ..welcome_message)]
(in state)))
(with_expansions [<Interpretation> (these (Operation anchor expression declaration [Type Any]))]
@@ -202,16 +202,16 @@
multi_line? false])
(do !
[_ (if multi_line?
- (at Console<!> write " ")
- (at Console<!> write "> "))
- line (at Console<!> read_line)]
+ (of Console<!> write " ")
+ (of Console<!> write "> "))
+ line (of Console<!> read_line)]
(if (and (not multi_line?)
(text#= ..exit_command line))
- (at Console<!> write ..farewell_message)
+ (of Console<!> write ..farewell_message)
(when (read_eval_print (revised #source (add_line line) context))
{try.#Success [context' representation]}
(do !
- [_ (at Console<!> write representation)]
+ [_ (of Console<!> write representation)]
(again context' false))
{try.#Failure error}