diff options
Diffstat (limited to 'stdlib/source/spec/compositor/generation/structure.lux')
-rw-r--r-- | stdlib/source/spec/compositor/generation/structure.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/spec/compositor/generation/structure.lux b/stdlib/source/spec/compositor/generation/structure.lux index c0539a975..cd790c6d2 100644 --- a/stdlib/source/spec/compositor/generation/structure.lux +++ b/stdlib/source/spec/compositor/generation/structure.lux @@ -30,9 +30,9 @@ (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))) + (do {! r.monad} + [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)) @@ -65,8 +65,8 @@ (def: (tuple run) (-> Runner Test) - (do {@ r.monad} - [size (|> r.nat (:: @ map (|>> (n.% 10) (n.max 2)))) + (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)) (|> (synthesis.tuple (list@map (|>> synthesis.i64) tuple-in)) |