diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/abstract/equivalence.lux | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/stdlib/source/test/lux/abstract/equivalence.lux b/stdlib/source/test/lux/abstract/equivalence.lux index 2ca34e885..f3be4cd4a 100644 --- a/stdlib/source/test/lux/abstract/equivalence.lux +++ b/stdlib/source/test/lux/abstract/equivalence.lux @@ -29,12 +29,12 @@ .let [equivalence (is (Equivalence (Equivalence Nat)) (implementation (def: (= left right) - (and (bit#= (# left = leftN leftN) - (# right = leftN leftN)) - (bit#= (# left = rightN rightN) - (# right = rightN rightN)) - (bit#= (# left = leftN rightN) - (# right = leftN rightN))))))]] + (and (bit#= (at left = leftN leftN) + (at right = leftN leftN)) + (bit#= (at left = rightN rightN) + (at right = rightN rightN)) + (bit#= (at left = leftN rightN) + (at right = leftN rightN))))))]] (<| (_.covering /._) (all _.and (_.for [/.functor] @@ -50,11 +50,11 @@ [{.#Item leftH lefT} {.#Item rightH rightT}] (and (n.= leftH rightH) - (# equivalence = lefT rightT)) + (at equivalence = lefT rightT)) _ false))))))] - (and (# equivalence = (list sample sample) (list sample sample)) - (not (# equivalence = (list sample sample) (list sample))) - (not (# equivalence = (list sample sample) (list different different)))))) + (and (at equivalence = (list sample sample) (list sample sample)) + (not (at equivalence = (list sample sample) (list sample))) + (not (at equivalence = (list sample sample) (list different different)))))) )))) |