aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/data
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/test/lux/data/number/frac.lux3
-rw-r--r--stdlib/source/test/lux/data/text/format.lux5
2 files changed, 5 insertions, 3 deletions
diff --git a/stdlib/source/test/lux/data/number/frac.lux b/stdlib/source/test/lux/data/number/frac.lux
index ec3e4d3da..d982b6492 100644
--- a/stdlib/source/test/lux/data/number/frac.lux
+++ b/stdlib/source/test/lux/data/number/frac.lux
@@ -160,7 +160,8 @@
(/.* (/.signum sample) sample)))
))
(do random.monad
- [left ..random
+ [left (random.filter (|>> (/.= +0.0) not)
+ ..random)
right ..random]
($_ _.and
(_.cover [/.%]
diff --git a/stdlib/source/test/lux/data/text/format.lux b/stdlib/source/test/lux/data/text/format.lux
index a8004f919..cfad7f524 100644
--- a/stdlib/source/test/lux/data/text/format.lux
+++ b/stdlib/source/test/lux/data/text/format.lux
@@ -31,6 +31,7 @@
["." date]]
[math
["." random (#+ Random) ("#\." monad)]
+ ["." modulus]
["." modular]]
[macro
["." code]]
@@ -152,10 +153,10 @@
list
(/.list (|>>))))))
(do {! random.monad}
- [modulus (random.one (|>> modular.from-int
+ [modulus (random.one (|>> modulus.modulus
try.to-maybe)
random.int)
- sample (\ ! map (modular.mod modulus)
+ sample (\ ! map (modular.modular modulus)
random.int)]
(_.cover [/.mod]
(text\= (\ (modular.codec modulus) encode sample)