diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/lux/data/sum.lux | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/source/test/lux/data/sum.lux b/stdlib/source/test/lux/data/sum.lux index b0956f5ba..ead537253 100644 --- a/stdlib/source/test/lux/data/sum.lux +++ b/stdlib/source/test/lux/data/sum.lux @@ -68,25 +68,25 @@ (/.then (n.+ shift) (n.- shift)) (pipe.when {0 #1 actual} (n.= (n.- shift expected) actual) _ false)))) (do ! - [size (at ! each (n.% 5) random.nat) + [size (of ! 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 (at (list.equivalence n.equivalence) = + (and (of (list.equivalence n.equivalence) = expected (/.lefts actual)) - (at (list.equivalence n.equivalence) = + (of (list.equivalence n.equivalence) = (list) (/.rights actual))))) (_.coverage [/.rights] (let [actual (is (List (Or Nat Nat)) (list#each /.right expected))] - (and (at (list.equivalence n.equivalence) = + (and (of (list.equivalence n.equivalence) = expected (/.rights actual)) - (at (list.equivalence n.equivalence) = + (of (list.equivalence n.equivalence) = (list) (/.lefts actual))))) (_.coverage [/.partition] @@ -97,10 +97,10 @@ (/.right value)))) (is (List (Or Nat Nat))) /.partition)] - (and (at (list.equivalence n.equivalence) = + (and (of (list.equivalence n.equivalence) = (list.only n.even? expected) lefts) - (at (list.equivalence n.equivalence) = + (of (list.equivalence n.equivalence) = (list.only (|>> n.even? not) expected) rights)))) )) |