From 91a1f21f3c75750217d272554bc8a341f075f82d Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Tue, 15 Nov 2022 20:07:38 -0400 Subject: Now documenting dependers and dependees. --- stdlib/source/experiment/tool/interpreter.lux | 24 ++++++++++++------------ 1 file changed, 12 insertions(+), 12 deletions(-) (limited to 'stdlib/source/experiment/tool') 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)] -- cgit v1.2.3