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/lux/abstract/hash.lux | |
parent | 43d28326ad59c74439b96343cc8f619ed7d90231 (diff) |
Implemented arithmetic right-shift in terms of logic right-shift.
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/spec/lux/abstract/hash.lux | 6 |
1 files changed, 3 insertions, 3 deletions
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)))))) |