diff options
Diffstat (limited to 'stdlib/source/spec/compositor/generation/structure.lux')
| -rw-r--r-- | stdlib/source/spec/compositor/generation/structure.lux | 6 |
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 e728867eb..a8f820786 100644 --- a/stdlib/source/spec/compositor/generation/structure.lux +++ b/stdlib/source/spec/compositor/generation/structure.lux @@ -31,8 +31,8 @@ (def: (variant run) (-> Runner Test) (do {! r.monad} - [num-tags (|> r.nat (:: ! map (|>> (n.% 10) (n.max 2)))) - tag-in (|> r.nat (:: ! map (n.% num-tags))) + [num-tags (|> r.nat (\ ! map (|>> (n.% 10) (n.max 2)))) + 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)) @@ -66,7 +66,7 @@ (def: (tuple run) (-> Runner Test) (do {! r.monad} - [size (|> r.nat (:: ! map (|>> (n.% 10) (n.max 2)))) + [size (|> r.nat (\ ! map (|>> (n.% 10) (n.max 2)))) tuple-in (r.list size r.i64)] (_.test (%.name (name-of synthesis.tuple)) (|> (synthesis.tuple (list\map (|>> synthesis.i64) tuple-in)) |