aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/type/poly
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test/lux/type/poly')
-rw-r--r--stdlib/source/test/lux/type/poly/equivalence.lux32
-rw-r--r--stdlib/source/test/lux/type/poly/json.lux30
2 files changed, 31 insertions, 31 deletions
diff --git a/stdlib/source/test/lux/type/poly/equivalence.lux b/stdlib/source/test/lux/type/poly/equivalence.lux
index 02c94b58e..410627c53 100644
--- a/stdlib/source/test/lux/type/poly/equivalence.lux
+++ b/stdlib/source/test/lux/type/poly/equivalence.lux
@@ -59,22 +59,22 @@
(do [! random.monad]
[size (# ! each (n.% 2) random.nat)
.let [gen_int (|> random.int (# ! each (|>> i.abs (i.% +1,000,000))))]]
- ($_ random.and
- random.bit
- gen_int
- random.safe_frac
- (random.unicode size)
- (random.maybe gen_int)
- (random.list size gen_int)
- ($_ random.or
- random.bit
- gen_int
- random.safe_frac)
- ($_ random.and
- gen_int
- random.safe_frac
- (random.unicode size))
- gen_recursive)))
+ (all random.and
+ random.bit
+ gen_int
+ random.safe_frac
+ (random.unicode size)
+ (random.maybe gen_int)
+ (random.list size gen_int)
+ (all random.or
+ random.bit
+ gen_int
+ random.safe_frac)
+ (all random.and
+ gen_int
+ random.safe_frac
+ (random.unicode size))
+ gen_recursive)))
(for @.old (these)
(these (def: equivalence
diff --git a/stdlib/source/test/lux/type/poly/json.lux b/stdlib/source/test/lux/type/poly/json.lux
index 38b36eecf..00eec73fa 100644
--- a/stdlib/source/test/lux/type/poly/json.lux
+++ b/stdlib/source/test/lux/type/poly/json.lux
@@ -91,21 +91,21 @@
(Random Record)
(do [! random.monad]
[size (# ! each (n.% 2) random.nat)]
- ($_ random.and
- random.bit
- random.safe_frac
- (random.unicode size)
- (random.maybe random.safe_frac)
- (random.list size random.safe_frac)
- (random.dictionary text.hash size (random.unicode size) random.safe_frac)
- ($_ random.or random.bit (random.unicode size) random.safe_frac)
- ($_ random.and random.bit (random.unicode size) random.safe_frac)
- ..gen_recursive
- ... _instant.instant
- ... _duration.duration
- random.date
- ..qty
- )))
+ (all random.and
+ random.bit
+ random.safe_frac
+ (random.unicode size)
+ (random.maybe random.safe_frac)
+ (random.list size random.safe_frac)
+ (random.dictionary text.hash size (random.unicode size) random.safe_frac)
+ (all random.or random.bit (random.unicode size) random.safe_frac)
+ (all random.and random.bit (random.unicode size) random.safe_frac)
+ ..gen_recursive
+ ... _instant.instant
+ ... _duration.duration
+ random.date
+ ..qty
+ )))
(for @.old (these)
(these (def: equivalence