aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/type/poly/equivalence.lux
diff options
context:
space:
mode:
authorEduardo Julian2022-04-08 05:42:36 -0400
committerEduardo Julian2022-04-08 05:42:36 -0400
commit0d909187d5b9effcd08f533d50af7d29c0d6bfd8 (patch)
treec50f12c5e47e3db90c3a701b54ee9953da942210 /stdlib/source/test/lux/type/poly/equivalence.lux
parente5e4c2aff562e5c01fefb808d1d68a40f29c9cc5 (diff)
De-sigil-ification: $
Diffstat (limited to 'stdlib/source/test/lux/type/poly/equivalence.lux')
-rw-r--r--stdlib/source/test/lux/type/poly/equivalence.lux32
1 files changed, 16 insertions, 16 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