diff options
Diffstat (limited to 'stdlib/source/experiment/tool/interpreter.lux')
| -rw-r--r-- | stdlib/source/experiment/tool/interpreter.lux | 24 |
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)] |