diff options
| author | Eduardo Julian | 2020-10-31 02:59:48 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2020-10-31 02:59:48 -0400 |
| commit | eea741e9b4a47ae09832311d6d61f0bd6024f673 (patch) | |
| tree | 9d503f609c322c235811856ffa05232991b9c653 /stdlib/source/spec/compositor/generation/structure.lux | |
| parent | cb8f2b36352948108446c7e3b270faa97589bf7a (diff) | |
Easy to use Rev constants.
Diffstat (limited to '')
| -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)) |