aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/experiment/tool
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/experiment/tool')
-rw-r--r--stdlib/source/experiment/tool/interpreter.lux24
1 files changed, 12 insertions, 12 deletions
diff --git a/stdlib/source/experiment/tool/interpreter.lux b/stdlib/source/experiment/tool/interpreter.lux
index 53fe60a88..a52ae4129 100644
--- a/stdlib/source/experiment/tool/interpreter.lux
+++ b/stdlib/source/experiment/tool/interpreter.lux
@@ -15,7 +15,7 @@
["[0]" analysis
["[0]" module]
["[0]" type]]
- ["[0]" generation]
+ ["[0]" translation]
["[0]" declaration (.only State Operation)
["[0]" total]]]
["[0]" default
@@ -65,15 +65,15 @@
[_ (module.create 0 ..module)]
(analysis.set_current_module ..module))))
-(def (initialize Monad<!> Console<!> platform configuration generation_bundle)
+(def (initialize Monad<!> Console<!> platform configuration translation_bundle)
(All (_ ! anchor expression declaration)
(-> (Monad !)
(Console !) (Platform ! anchor expression declaration)
Configuration
- (generation.Bundle anchor expression declaration)
+ (translation.Bundle anchor expression declaration)
(! (State anchor expression declaration))))
(do Monad<!>
- [state (platform.initialize platform generation_bundle)
+ [state (platform.initialize platform translation_bundle)
state (platform.compile platform
(has cli.#module syntax.prelude configuration)
(has [declaration.#analysis declaration.#state
@@ -102,7 +102,7 @@
[state phase.state
.let [analyse (the [declaration.#analysis declaration.#phase] state)
synthesize (the [declaration.#synthesis declaration.#phase] state)
- generate (the [declaration.#generation declaration.#phase] state)]
+ translate (the [declaration.#translation declaration.#phase] state)]
[_ codeT codeA] (declaration.lifted_analysis
(analysis.with_scope
(type.with_fresh_env
@@ -114,12 +114,12 @@
(in [codeT codeA])))))
codeS (declaration.lifted_synthesis
(synthesize codeA))]
- (declaration.lifted_generation
- (generation.with_buffer
+ (declaration.lifted_translation
+ (translation.with_buffer
(do !
- [codeH (generate codeS)
- count generation.next
- codeV (generation.evaluate! (format "interpretation_" (%.nat count)) codeH)]
+ [codeH (translate codeS)
+ count translation.next
+ codeV (translation.evaluate! (format "interpretation_" (%.nat count)) codeH)]
(in [codeT codeV]))))))
(def (interpret configuration code)
@@ -187,12 +187,12 @@
(has #source source'))
representation]))))
-(def .public (run! Monad<!> Console<!> platform configuration generation_bundle)
+(def .public (run! Monad<!> Console<!> platform configuration translation_bundle)
(All (_ ! anchor expression declaration)
(-> (Monad !)
(Console !) (Platform ! anchor expression declaration)
Configuration
- (generation.Bundle anchor expression declaration)
+ (translation.Bundle anchor expression declaration)
(! Any)))
(do [! Monad<!>]
[state (initialize Monad<!> Console<!> platform configuration)]