diff options
Diffstat (limited to 'stdlib/source/specification/compositor/generation/structure.lux')
-rw-r--r-- | stdlib/source/specification/compositor/generation/structure.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/specification/compositor/generation/structure.lux b/stdlib/source/specification/compositor/generation/structure.lux index d914c309f..86054b07e 100644 --- a/stdlib/source/specification/compositor/generation/structure.lux +++ b/stdlib/source/specification/compositor/generation/structure.lux @@ -31,8 +31,8 @@ (def: (variant run) (-> Runner Test) (do [! r.monad] - [num_tags (|> r.nat (# ! each (|>> (n.% 10) (n.max 2)))) - tag_in (|> r.nat (# ! each (n.% num_tags))) + [num_tags (|> r.nat (at ! each (|>> (n.% 10) (n.max 2)))) + tag_in (|> r.nat (at ! each (n.% num_tags))) .let [last?_in (|> num_tags -- (n.= tag_in))] value_in r.i64] (_.property (%.symbol (symbol synthesis.variant)) @@ -67,7 +67,7 @@ (def: (tuple run) (-> Runner Test) (do [! r.monad] - [size (|> r.nat (# ! each (|>> (n.% 10) (n.max 2)))) + [size (|> r.nat (at ! each (|>> (n.% 10) (n.max 2)))) tuple_in (r.list size r.i64)] (_.property (%.symbol (symbol synthesis.tuple)) (|> (synthesis.tuple (list#each (|>> synthesis.i64) tuple_in)) |