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/case.lux | |
parent | cb8f2b36352948108446c7e3b270faa97589bf7a (diff) |
Easy to use Rev constants.
Diffstat (limited to 'stdlib/source/spec/compositor/generation/case.lux')
-rw-r--r-- | stdlib/source/spec/compositor/generation/case.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/spec/compositor/generation/case.lux b/stdlib/source/spec/compositor/generation/case.lux index b4fa47b99..764d7351b 100644 --- a/stdlib/source/spec/compositor/generation/case.lux +++ b/stdlib/source/spec/compositor/generation/case.lux @@ -64,9 +64,9 @@ [r.i64 synthesis.i64 synthesis.path/i64] [r.frac synthesis.f64 synthesis.path/f64] [(r.unicode 5) synthesis.text synthesis.path/text])) - (do {@ r.monad} + (do {! r.monad} [size ..size - idx (|> r.nat (:: @ map (n.% size))) + idx (|> r.nat (:: ! map (n.% size))) [subS subP] case #let [unitS (synthesis.text synthesis.unit) caseS (synthesis.tuple @@ -79,9 +79,9 @@ (synthesis.member/left idx)) subP)]] (wrap [caseS caseP])) - (do {@ r.monad} + (do {! r.monad} [size ..size - idx (|> r.nat (:: @ map (n.% size))) + idx (|> r.nat (:: ! map (n.% size))) [subS subP] case #let [right? (tail? size idx) caseS (synthesis.variant |