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/specification/compositor.lux        | 16 ++++++-------
 stdlib/source/specification/compositor/common.lux | 28 +++++++++++------------
 2 files changed, 22 insertions(+), 22 deletions(-)

(limited to 'stdlib/source/specification')

diff --git a/stdlib/source/specification/compositor.lux b/stdlib/source/specification/compositor.lux
index 7afe706c1..f6fb3f280 100644
--- a/stdlib/source/specification/compositor.lux
+++ b/stdlib/source/specification/compositor.lux
@@ -14,7 +14,7 @@
      ["[0]" declaration]
      [phase
       [macro (.only Expander)]
-      [generation (.only Bundle)]]
+      [translation (.only Bundle)]]
      [default
       [platform (.only Platform)]]]]
    [test
@@ -23,7 +23,7 @@
   ["[1][0]" common (.only Runner Definer)]
   ["[1]./" analysis
    ["[1][0]" type]]
-  ["[1]./" generation
+  ["[1]./" translation
    ["[1][0]" primitive]
    ["[1][0]" structure]
    ["[1][0]" reference]
@@ -35,12 +35,12 @@
   (-> Runner Definer analysis.State Expander Test)
   (all _.and
        (/analysis/type.spec expander state)
-       (/generation/primitive.spec runner)
-       (/generation/structure.spec runner)
-       (/generation/reference.spec runner definer)
-       (/generation/when.spec runner)
-       (/generation/function.spec runner)
-       (/generation/common.spec runner)
+       (/translation/primitive.spec runner)
+       (/translation/structure.spec runner)
+       (/translation/reference.spec runner definer)
+       (/translation/when.spec runner)
+       (/translation/function.spec runner)
+       (/translation/common.spec runner)
        ))
 
 (def .public (spec platform bundle expander program)
diff --git a/stdlib/source/specification/compositor/common.lux b/stdlib/source/specification/compositor/common.lux
index f72bb20bc..9b3f398f4 100644
--- a/stdlib/source/specification/compositor/common.lux
+++ b/stdlib/source/specification/compositor/common.lux
@@ -13,7 +13,7 @@
     ["[0]" declaration]
     ["[0]" phase
      ["[0]" macro (.only Expander)]
-     ["[0]" generation (.only Operation)]
+     ["[0]" translation (.only Operation)]
      [extension (.only Extender)
       ["[0]" bundle]]]
     [default
@@ -28,7 +28,7 @@
 (type .public (Instancer what)
   (All (_ anchor expression declaration)
     (-> (Platform IO anchor expression declaration)
-        (generation.State anchor expression declaration)
+        (translation.State anchor expression declaration)
         what)))
 
 (def (runner (open "[0]") state)
@@ -36,7 +36,7 @@
   (function (_ evaluation_name expressionS)
     (do try.monad
       [expressionG (<| (phase.result state)
-                       generation.with_buffer
+                       translation.with_buffer
                        (do phase.monad
                          [_ runtime]
                          (phase expressionS)))]
@@ -47,34 +47,34 @@
   (function (_ lux_name expressionS)
     (do try.monad
       [definitionG (<| (phase.result state)
-                       generation.with_buffer
+                       translation.with_buffer
                        (do phase.monad
                          [_ runtime
                           expressionG (phase expressionS)
-                          [host_name host_value host_declaration] (generation.define! lux_name expressionG)
-                          _ (generation.learn lux_name host_name)]
+                          [host_name host_value host_declaration] (translation.define! lux_name expressionG)
+                          _ (translation.learn lux_name host_name)]
                          (phase (synthesis.constant lux_name))))]
       (at host evaluate! "definer" definitionG))))
 
 (def .public (executors target expander platform
-                        analysis_bundle generation_bundle declaration_bundle
+                        analysis_bundle translation_bundle declaration_bundle
                         program extender)
   (All (_ anchor expression declaration)
     (-> Text Expander (Platform IO anchor expression declaration)
         analysis.Bundle
-        (generation.Bundle anchor expression declaration)
+        (translation.Bundle anchor expression declaration)
         (declaration.Bundle anchor expression declaration)
         (-> expression declaration) Extender
         (IO (Try [(declaration.State anchor expression declaration)
                   Runner
                   Definer]))))
   (do io.monad
-    [?state (platform.initialize target expander analysis_bundle platform generation_bundle declaration_bundle program extender)]
+    [?state (platform.initialize target expander analysis_bundle platform translation_bundle declaration_bundle program extender)]
     (in (do try.monad
           [[declaration_bundle declaration_state] ?state
-           .let [generation_state (the [declaration.#generation
-                                        declaration.#state]
-                                       declaration_state)]]
+           .let [translation_state (the [declaration.#translation
+                                         declaration.#state]
+                                        declaration_state)]]
           (in [[declaration_bundle declaration_state]
-               (..runner platform generation_state)
-               (..definer platform generation_state)])))))
+               (..runner platform translation_state)
+               (..definer platform translation_state)])))))
-- 
cgit v1.2.3