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.lux8
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/experiment/tool/interpreter.lux b/stdlib/source/experiment/tool/interpreter.lux
index a52ae4129..3a001396a 100644
--- a/stdlib/source/experiment/tool/interpreter.lux
+++ b/stdlib/source/experiment/tool/interpreter.lux
@@ -60,7 +60,7 @@
(def enter_module
(All (_ anchor expression declaration)
(Operation anchor expression declaration Any))
- (declaration.lifted_analysis
+ (declaration.of_analysis
(do phase.monad
[_ (module.create 0 ..module)]
(analysis.set_current_module ..module))))
@@ -103,7 +103,7 @@
.let [analyse (the [declaration.#analysis declaration.#phase] state)
synthesize (the [declaration.#synthesis declaration.#phase] state)
translate (the [declaration.#translation declaration.#phase] state)]
- [_ codeT codeA] (declaration.lifted_analysis
+ [_ codeT codeA] (declaration.of_analysis
(analysis.with_scope
(type.with_fresh_env
(do !
@@ -112,9 +112,9 @@
codeT (type.with_env
(check.clean codeT))]
(in [codeT codeA])))))
- codeS (declaration.lifted_synthesis
+ codeS (declaration.of_synthesis
(synthesize codeA))]
- (declaration.lifted_translation
+ (declaration.of_translation
(translation.with_buffer
(do !
[codeH (translate codeS)