diff options
| author | Eduardo Julian | 2020-10-25 05:10:08 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2020-10-25 05:10:08 -0400 |
| commit | 72b4eecdc514387ab3b1c105cfd49436c9eb1e8d (patch) | |
| tree | 20d8e52d5769b00be003dea58754b5bea79bb9e3 /stdlib/source/test/lux/macro/poly/equivalence.lux | |
| parent | e153b011bb94ba95474505c307873616bb493b6d (diff) | |
Some improvements to the Lux syntax parser.
Diffstat (limited to 'stdlib/source/test/lux/macro/poly/equivalence.lux')
| -rw-r--r-- | stdlib/source/test/lux/macro/poly/equivalence.lux | 20 |
1 files changed, 14 insertions, 6 deletions
diff --git a/stdlib/source/test/lux/macro/poly/equivalence.lux b/stdlib/source/test/lux/macro/poly/equivalence.lux index bfd0a2540..985da657c 100644 --- a/stdlib/source/test/lux/macro/poly/equivalence.lux +++ b/stdlib/source/test/lux/macro/poly/equivalence.lux @@ -44,8 +44,9 @@ (def: gen-recursive (Random Recursive) (random.rec (function (_ gen-recursive) - (random.or random.frac - (random.and random.frac gen-recursive))))) + (random.or random.safe-frac + (random.and random.safe-frac + gen-recursive))))) (def: gen-record (Random Record) @@ -55,15 +56,22 @@ ($_ random.and random.bit gen-int - random.frac + random.safe-frac (random.unicode size) (random.maybe gen-int) (random.list size gen-int) - ($_ random.or random.bit gen-int random.frac) - ($_ random.and gen-int random.frac (random.unicode size)) + ($_ random.or + random.bit + gen-int + random.safe-frac) + ($_ random.and + gen-int + random.safe-frac + (random.unicode size)) gen-recursive))) -(derived: equivalence (/.equivalence Record)) +(derived: equivalence + (/.equivalence Record)) (def: #export test Test |