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 acf9888e8..b28648520 100644 --- a/stdlib/source/specification/compositor/generation/structure.lux +++ b/stdlib/source/specification/compositor/generation/structure.lux @@ -33,8 +33,8 @@ (def (variant run) (-> Runner Test) (do [! r.monad] - [num_tags (|> r.nat (at ! each (|>> (n.% 10) (n.max 2)))) - tag_in (|> r.nat (at ! each (n.% num_tags))) + [num_tags (|> r.nat (of ! each (|>> (n.% 10) (n.max 2)))) + tag_in (|> r.nat (of ! each (n.% num_tags))) .let [last?_in (|> num_tags -- (n.= tag_in))] value_in r.i64] (_.test (%.symbol (symbol synthesis.variant)) @@ -69,7 +69,7 @@ (def (tuple run) (-> Runner Test) (do [! r.monad] - [size (|> r.nat (at ! each (|>> (n.% 10) (n.max 2)))) + [size (|> r.nat (of ! each (|>> (n.% 10) (n.max 2)))) tuple_in (r.list size r.i64)] (_.test (%.symbol (symbol synthesis.tuple)) (|> (synthesis.tuple (list#each (|>> synthesis.i64) tuple_in)) |