diff options
Diffstat (limited to 'stdlib/source/test/lux/data/sum.lux')
-rw-r--r-- | stdlib/source/test/lux/data/sum.lux | 38 |
1 files changed, 19 insertions, 19 deletions
diff --git a/stdlib/source/test/lux/data/sum.lux b/stdlib/source/test/lux/data/sum.lux index 82adfdc49..8543ddba6 100644 --- a/stdlib/source/test/lux/data/sum.lux +++ b/stdlib/source/test/lux/data/sum.lux @@ -67,27 +67,27 @@ (/.then (n.+ shift) (n.- shift)) (pipe.case {0 #1 actual} (n.= (n.- shift expected) actual) _ false)))) (do ! - [size (# ! each (n.% 5) random.nat) + [size (at ! each (n.% 5) random.nat) expected (random.list size random.nat)] (all _.and (_.coverage [/.lefts] (let [actual (is (List (Or Nat Nat)) (list#each /.left expected))] - (and (# (list.equivalence n.equivalence) = - expected - (/.lefts actual)) - (# (list.equivalence n.equivalence) = - (list) - (/.rights actual))))) + (and (at (list.equivalence n.equivalence) = + expected + (/.lefts actual)) + (at (list.equivalence n.equivalence) = + (list) + (/.rights actual))))) (_.coverage [/.rights] (let [actual (is (List (Or Nat Nat)) (list#each /.right expected))] - (and (# (list.equivalence n.equivalence) = - expected - (/.rights actual)) - (# (list.equivalence n.equivalence) = - (list) - (/.lefts actual))))) + (and (at (list.equivalence n.equivalence) = + expected + (/.rights actual)) + (at (list.equivalence n.equivalence) = + (list) + (/.lefts actual))))) (_.coverage [/.partition] (let [[lefts rights] (|> expected (list#each (function (_ value) @@ -96,11 +96,11 @@ (/.right value)))) (is (List (Or Nat Nat))) /.partition)] - (and (# (list.equivalence n.equivalence) = - (list.only n.even? expected) - lefts) - (# (list.equivalence n.equivalence) = - (list.only (|>> n.even? not) expected) - rights)))) + (and (at (list.equivalence n.equivalence) = + (list.only n.even? expected) + lefts) + (at (list.equivalence n.equivalence) = + (list.only (|>> n.even? not) expected) + rights)))) )) )))) |