diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/abstract/order.lux | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/stdlib/source/test/lux/abstract/order.lux b/stdlib/source/test/lux/abstract/order.lux index 1457fd550..815851182 100644 --- a/stdlib/source/test/lux/abstract/order.lux +++ b/stdlib/source/test/lux/abstract/order.lux @@ -8,7 +8,7 @@ [functor ["$[0]" contravariant]]]] [data - ["[0]" bit ("[1]\[0]" equivalence)]] + ["[0]" bit ("[1]#[0]" equivalence)]] [math ["[0]" random {"+" [Random]}] [number @@ -27,12 +27,12 @@ .let [equivalence (: (Equivalence (/.Order Nat)) (implementation (def: (= leftO rightO) - (and (bit\= (\ leftO < left left) - (\ rightO < left left)) - (bit\= (\ leftO < right right) - (\ rightO < right right)) - (bit\= (\ leftO < left right) - (\ rightO < left right))))))]]) + (and (bit#= (# leftO < left left) + (# rightO < left left)) + (bit#= (# leftO < right right) + (# rightO < right right)) + (bit#= (# leftO < left right) + (# rightO < left right))))))]]) ($_ _.and (_.for [/.functor] ($contravariant.spec equivalence n.order /.functor)) @@ -40,16 +40,16 @@ (n.< (/.max n.order left right) (/.min n.order left right))) (_.cover [/.Comparison /.>] - (not (bit\= (n.< left right) + (not (bit#= (n.< left right) (/.> n.order left right)))) (_.cover [/.<=] (and (/.<= n.order left left) (/.<= n.order right right) - (bit\= (\ n.order < left right) + (bit#= (# n.order < left right) (/.<= n.order left right)))) (_.cover [/.>=] (and (/.>= n.order left left) (/.>= n.order right right) - (bit\= (/.> n.order left right) + (bit#= (/.> n.order left right) (/.>= n.order left right)))) ))) |