aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/specification
diff options
context:
space:
mode:
authorEduardo Julian2021-09-14 01:26:29 -0400
committerEduardo Julian2021-09-14 01:26:29 -0400
commit0797dfc9ebb32e5eb324eec58e1e4b1c99895ce7 (patch)
tree7fe374551b7073a7aabb0a84e370546177b98820 /stdlib/source/specification
parent6eb57a31fd2647626ef301b827c9a99ef0f2a484 (diff)
Re-named "Name" to "Symbol".
Diffstat (limited to 'stdlib/source/specification')
-rw-r--r--stdlib/source/specification/compositor/common.lux2
-rw-r--r--stdlib/source/specification/compositor/generation/case.lux10
-rw-r--r--stdlib/source/specification/compositor/generation/primitive.lux2
-rw-r--r--stdlib/source/specification/compositor/generation/reference.lux10
-rw-r--r--stdlib/source/specification/compositor/generation/structure.lux4
5 files changed, 14 insertions, 14 deletions
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}