diff options
| author | Eduardo Julian | 2022-06-04 19:34:42 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-04 19:34:42 -0400 |
| commit | f9e33ae96aec4741385a576719786092c9e68043 (patch) | |
| tree | 140057dfc054346eab721f9905f0f0fff22ad933 /stdlib/source/specification/compositor/generation/structure.lux | |
| parent | 56d2835d35093e2d92c5e8a4371aa322b55e037b (diff) | |
De-sigil-ification: #
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)) |