From bca1a9cdcf837e184378d5e6339a969e40d1dbab Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 14 Sep 2021 01:39:53 -0400
Subject: Re-named "name_of" to "symbol".

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

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

diff --git a/stdlib/source/specification/compositor/generation/case.lux b/stdlib/source/specification/compositor/generation/case.lux
index f88f76890..ec9a36675 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 (%.symbol (name_of synthesis.branch/let))
+    (_.test (%.symbol (symbol 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 (%.symbol (name_of synthesis.branch/if))
+    (_.test (%.symbol (symbol 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 (%.symbol (name_of synthesis.branch/case))
+    (_.test (%.symbol (symbol synthesis.branch/case))
             (|> (synthesis.branch/case
                  [inputS
                   ($_ synthesis.path/alt
diff --git a/stdlib/source/specification/compositor/generation/primitive.lux b/stdlib/source/specification/compositor/generation/primitive.lux
index cd7aef408..7821f793b 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 (%.symbol (name_of <synthesis>))
+                   (_.test (%.symbol (symbol <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 697638508..2438074a4 100644
--- a/stdlib/source/specification/compositor/generation/reference.lux
+++ b/stdlib/source/specification/compositor/generation/reference.lux
@@ -1,5 +1,5 @@
 (.module:
-  [lux "*"
+  [lux {"-" symbol}
    ["_" test {"+" Test}]
    [abstract
     [monad {"+" do}]]
diff --git a/stdlib/source/specification/compositor/generation/structure.lux b/stdlib/source/specification/compositor/generation/structure.lux
index cd9b9b812..256b52b78 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 (%.symbol (name_of synthesis.variant))
+    (_.test (%.symbol (symbol 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 (%.symbol (name_of synthesis.tuple))
+    (_.test (%.symbol (symbol synthesis.tuple))
             (|> (synthesis.tuple (list#each (|>> synthesis.i64) tuple_in))
                 (run "tuple")
                 (case> {try.#Success tuple_out}
-- 
cgit v1.2.3