aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/spec
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/spec/lux/abstract/equivalence.lux6
-rw-r--r--stdlib/source/spec/lux/abstract/hash.lux6
2 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/spec/lux/abstract/equivalence.lux b/stdlib/source/spec/lux/abstract/equivalence.lux
index 5c5114f4d..f3d97e5b6 100644
--- a/stdlib/source/spec/lux/abstract/equivalence.lux
+++ b/stdlib/source/spec/lux/abstract/equivalence.lux
@@ -8,11 +8,11 @@
{1
["." / (#+ Equivalence)]})
-(def: #export (spec (^open "_//.") generator)
+(def: #export (spec (^open "_//.") random)
(All [a] (-> (Equivalence a) (Random a) Test))
(do random.monad
- [left generator
- right generator]
+ [left random
+ right random]
(<| (_.for [/.Equivalence])
($_ _.and
(_.test "Reflexivity."
diff --git a/stdlib/source/spec/lux/abstract/hash.lux b/stdlib/source/spec/lux/abstract/hash.lux
index 17f8d12f2..543ea2a85 100644
--- a/stdlib/source/spec/lux/abstract/hash.lux
+++ b/stdlib/source/spec/lux/abstract/hash.lux
@@ -12,11 +12,11 @@
{1
["." /]})
-(def: #export (spec (^open "\.") generator)
+(def: #export (spec (^open "\.") random)
(All [a] (-> (/.Hash a) (Random a) Test))
(do random.monad
- [parameter generator
- subject generator]
+ [parameter random
+ subject random]
(_.cover [/.Hash]
(bit\= (\= parameter subject)
(n.= (\hash parameter) (\hash subject))))))