aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/specification/compositor/generation/case.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/specification/compositor/generation/case.lux')
-rw-r--r--stdlib/source/specification/compositor/generation/case.lux10
1 files changed, 5 insertions, 5 deletions
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)))]))))