From 0797dfc9ebb32e5eb324eec58e1e4b1c99895ce7 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 14 Sep 2021 01:26:29 -0400
Subject: Re-named "Name" to "Symbol".

---
 stdlib/source/specification/compositor/common.lux              |  2 +-
 stdlib/source/specification/compositor/generation/case.lux     | 10 +++++-----
 .../source/specification/compositor/generation/primitive.lux   |  2 +-
 .../source/specification/compositor/generation/reference.lux   | 10 +++++-----
 .../source/specification/compositor/generation/structure.lux   |  4 ++--
 5 files changed, 14 insertions(+), 14 deletions(-)

(limited to 'stdlib/source/specification/compositor')

diff --git a/stdlib/source/specification/compositor/common.lux b/stdlib/source/specification/compositor/common.lux
index 616952c2b..dcba095a9 100644
--- a/stdlib/source/specification/compositor/common.lux
+++ b/stdlib/source/specification/compositor/common.lux
@@ -23,7 +23,7 @@
   (-> Text Synthesis (Try Any)))
 
 (type: .public Definer
-  (-> Name Synthesis (Try Any)))
+  (-> Symbol Synthesis (Try Any)))
 
 (type: .public (Instancer what)
   (All (_ anchor expression directive)
diff --git a/stdlib/source/specification/compositor/generation/case.lux b/stdlib/source/specification/compositor/generation/case.lux
index 00de5e126..f88f76890 100644
--- a/stdlib/source/specification/compositor/generation/case.lux
+++ b/stdlib/source/specification/compositor/generation/case.lux
@@ -100,7 +100,7 @@
   (-> Runner Test)
   (do r.monad
     [value r.safe_frac]
-    (_.test (%.name (name_of synthesis.branch/let))
+    (_.test (%.symbol (name_of synthesis.branch/let))
             (|> (synthesis.branch/let [(synthesis.f64 value)
                                        0
                                        (synthesis.variable/local 0)])
@@ -113,7 +113,7 @@
     [on_true r.safe_frac
      on_false (|> r.safe_frac (r.only (|>> (f.= on_true) not)))
      verdict r.bit]
-    (_.test (%.name (name_of synthesis.branch/if))
+    (_.test (%.symbol (name_of synthesis.branch/if))
             (|> (synthesis.branch/if [(synthesis.bit verdict)
                                       (synthesis.f64 on_true)
                                       (synthesis.f64 on_false)])
@@ -126,7 +126,7 @@
     [[inputS pathS] ..case
      on_success r.safe_frac
      on_failure (|> r.safe_frac (r.only (|>> (f.= on_success) not)))]
-    (_.test (%.name (name_of synthesis.branch/case))
+    (_.test (%.symbol (name_of synthesis.branch/case))
             (|> (synthesis.branch/case
                  [inputS
                   ($_ synthesis.path/alt
@@ -160,11 +160,11 @@
           __text__ (: (-> Text Synthesis)
                       (function (_ value)
                         (_code_ (synthesis.variant [5 #0 (synthesis.text value)]))))
-          __identifier__ (: (-> Name Synthesis)
+          __identifier__ (: (-> Symbol Synthesis)
                             (function (_ [module short])
                               (_code_ (synthesis.variant [6 #0 (synthesis.tuple (list (synthesis.text module)
                                                                                       (synthesis.text short)))]))))
-          __tag__ (: (-> Name Synthesis)
+          __tag__ (: (-> Symbol Synthesis)
                      (function (_ [module short])
                        (_code_ (synthesis.variant [7 #0 (synthesis.tuple (list (synthesis.text module)
                                                                                (synthesis.text short)))]))))
diff --git a/stdlib/source/specification/compositor/generation/primitive.lux b/stdlib/source/specification/compositor/generation/primitive.lux
index 48de4d90e..cd7aef408 100644
--- a/stdlib/source/specification/compositor/generation/primitive.lux
+++ b/stdlib/source/specification/compositor/generation/primitive.lux
@@ -32,7 +32,7 @@
           (~~ (template [<evaluation_name> <synthesis> <gen> <test>]
                 [(do r.monad
                    [expected <gen>]
-                   (_.test (%.name (name_of <synthesis>))
+                   (_.test (%.symbol (name_of <synthesis>))
                            (|> (run <evaluation_name> (<synthesis> expected))
                                (case> {try.#Success actual}
                                       (<test> expected (:expected actual))
diff --git a/stdlib/source/specification/compositor/generation/reference.lux b/stdlib/source/specification/compositor/generation/reference.lux
index d19aed0af..697638508 100644
--- a/stdlib/source/specification/compositor/generation/reference.lux
+++ b/stdlib/source/specification/compositor/generation/reference.lux
@@ -19,15 +19,15 @@
   [///
    [common {"+" Runner Definer}]])
 
-(def: name
-  (Random Name)
-  (let [name_part (r.ascii/upper_alpha 5)]
-    [(r.and name_part name_part)]))
+(def: symbol
+  (Random Symbol)
+  (let [symbol_part (r.ascii/upper_alpha 5)]
+    [(r.and symbol_part symbol_part)]))
 
 (def: (definition define)
   (-> Definer Test)
   (do r.monad
-    [name ..name
+    [name ..symbol
      expected r.safe_frac]
     (_.test "Definitions."
             (|> (define name (synthesis.f64 expected))
diff --git a/stdlib/source/specification/compositor/generation/structure.lux b/stdlib/source/specification/compositor/generation/structure.lux
index 40a00e8c6..cd9b9b812 100644
--- a/stdlib/source/specification/compositor/generation/structure.lux
+++ b/stdlib/source/specification/compositor/generation/structure.lux
@@ -35,7 +35,7 @@
      tag_in (|> r.nat (# ! each (n.% num_tags)))
      .let [last?_in (|> num_tags -- (n.= tag_in))]
      value_in r.i64]
-    (_.test (%.name (name_of synthesis.variant))
+    (_.test (%.symbol (name_of synthesis.variant))
             (|> (synthesis.variant [analysis.#lefts (if last?_in
                                                       (-- tag_in)
                                                       tag_in)
@@ -68,7 +68,7 @@
   (do [! r.monad]
     [size (|> r.nat (# ! each (|>> (n.% 10) (n.max 2))))
      tuple_in (r.list size r.i64)]
-    (_.test (%.name (name_of synthesis.tuple))
+    (_.test (%.symbol (name_of synthesis.tuple))
             (|> (synthesis.tuple (list#each (|>> synthesis.i64) tuple_in))
                 (run "tuple")
                 (case> {try.#Success tuple_out}
-- 
cgit v1.2.3