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