aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/spec/compositor/generation/structure.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/spec/compositor/generation/structure.lux')
-rw-r--r--stdlib/source/spec/compositor/generation/structure.lux6
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/spec/compositor/generation/structure.lux b/stdlib/source/spec/compositor/generation/structure.lux
index 99745a819..d22775a43 100644
--- a/stdlib/source/spec/compositor/generation/structure.lux
+++ b/stdlib/source/spec/compositor/generation/structure.lux
@@ -9,7 +9,7 @@
["." error]
["." maybe]
["." text ("#@." equivalence)
- format]
+ ["%" format (#+ format)]]
[collection
["." array (#+ Array)]
["." list ("#@." functor)]]]
@@ -32,7 +32,7 @@
tag-in (|> r.nat (:: @ map (n/% num-tags)))
#let [last?-in (|> num-tags dec (n/= tag-in))]
value-in r.i64]
- (_.test (%name (name-of synthesis.variant))
+ (_.test (%.name (name-of synthesis.variant))
(|> (synthesis.variant {#analysis.lefts (if last?-in
(dec tag-in)
tag-in)
@@ -65,7 +65,7 @@
(do r.monad
[size (|> r.nat (:: @ map (|>> (n/% 10) (n/max 2))))
tuple-in (r.list size r.i64)]
- (_.test (%name (name-of synthesis.tuple))
+ (_.test (%.name (name-of synthesis.tuple))
(|> (synthesis.tuple (list@map (|>> synthesis.i64) tuple-in))
(run "tuple")
(case> (#error.Success tuple-out)