aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/spec
diff options
context:
space:
mode:
authorEduardo Julian2021-01-28 20:14:11 -0400
committerEduardo Julian2021-01-28 20:14:11 -0400
commit1797521191746640e761cc1b4973d46b8c403dee (patch)
tree197b60bf206f75c32a930b85910101c6d4c0d0f9 /stdlib/source/spec
parent43d28326ad59c74439b96343cc8f619ed7d90231 (diff)
Implemented arithmetic right-shift in terms of logic right-shift.
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))))))