diff options
| author | Eduardo Julian | 2021-01-28 20:14:11 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-01-28 20:14:11 -0400 |
| commit | 1797521191746640e761cc1b4973d46b8c403dee (patch) | |
| tree | 197b60bf206f75c32a930b85910101c6d4c0d0f9 /stdlib/source/spec | |
| parent | 43d28326ad59c74439b96343cc8f619ed7d90231 (diff) | |
Implemented arithmetic right-shift in terms of logic right-shift.
Diffstat (limited to 'stdlib/source/spec')
| -rw-r--r-- | stdlib/source/spec/lux/abstract/equivalence.lux | 6 | ||||
| -rw-r--r-- | stdlib/source/spec/lux/abstract/hash.lux | 6 |
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)))))) |