diff options
Diffstat (limited to 'stdlib/source/test/lux/abstract/hash.lux')
| -rw-r--r-- | stdlib/source/test/lux/abstract/hash.lux | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/test/lux/abstract/hash.lux b/stdlib/source/test/lux/abstract/hash.lux index 2ac3e428f..f6f090ff8 100644 --- a/stdlib/source/test/lux/abstract/hash.lux +++ b/stdlib/source/test/lux/abstract/hash.lux @@ -8,7 +8,7 @@ [functor ["$[0]" contravariant]]]] [data - ["[0]" bit ("[1]\[0]" equivalence)]] + ["[0]" bit ("[1]#[0]" equivalence)]] [math ["[0]" random] [number @@ -25,13 +25,13 @@ rightN random.nat .let [hash (: (Equivalence (/.Hash Nat)) (implementation - (def: (= (^open "left\[0]") (^open "right\[0]")) - (and (bit\= (left\= (left\hash leftN) (left\hash leftN)) - (right\= (right\hash leftN) (right\hash leftN))) - (bit\= (left\= (left\hash rightN) (left\hash rightN)) - (right\= (right\hash rightN) (right\hash rightN))) - (bit\= (left\= (left\hash leftN) (left\hash rightN)) - (right\= (right\hash leftN) (right\hash rightN)))))))]] + (def: (= (^open "left#[0]") (^open "right#[0]")) + (and (bit#= (left#= (left#hash leftN) (left#hash leftN)) + (right#= (right#hash leftN) (right#hash leftN))) + (bit#= (left#= (left#hash rightN) (left#hash rightN)) + (right#= (right#hash rightN) (right#hash rightN))) + (bit#= (left#= (left#hash leftN) (left#hash rightN)) + (right#= (right#hash leftN) (right#hash rightN)))))))]] (<| (_.covering /._) ($_ _.and (_.for [/.functor] |