diff options
Diffstat (limited to 'stdlib/test/test/lux/data/coll/set/ordered.lux')
-rw-r--r-- | stdlib/test/test/lux/data/coll/set/ordered.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/test/test/lux/data/coll/set/ordered.lux b/stdlib/test/test/lux/data/coll/set/ordered.lux index cb78ad963..fd4fb5579 100644 --- a/stdlib/test/test/lux/data/coll/set/ordered.lux +++ b/stdlib/test/test/lux/data/coll/set/ordered.lux @@ -22,7 +22,7 @@ sizeR gen-nat listL (|> (r.set number.Hash<Nat> sizeL gen-nat) (:: @ map s.to-list)) listR (|> (r.set number.Hash<Nat> sizeR gen-nat) (:: @ map s.to-list)) - #let [(^open "&/") &.Eq<Set> + #let [(^open "&/") &.Equivalence<Set> setL (&.from-list number.Order<Nat> listL) setR (&.from-list number.Order<Nat> listR) sortedL (list.sort n/< listL) @@ -61,7 +61,7 @@ (test "Order is preserved." (let [listL (&.to-list setL) - (^open "L/") (list.Eq<List> number.Eq<Nat>)] + (^open "L/") (list.Equivalence<List> number.Equivalence<Nat>)] (L/= listL (list.sort n/< listL)))) |