diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/lux/type/implicit.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/test/lux/type/implicit.lux b/stdlib/source/test/lux/type/implicit.lux index 4cdb9009f..203aad478 100644 --- a/stdlib/source/test/lux/type/implicit.lux +++ b/stdlib/source/test/lux/type/implicit.lux @@ -8,7 +8,7 @@ [monad (#+ do)] ["." enum]] [data - ["." bit ("#@." equivalence)] + ["." bit ("#\." equivalence)] [number ["n" nat]] [collection @@ -29,10 +29,10 @@ end (n.max left right)]] ($_ _.and (_.test "Can automatically select first-order structures." - (let [(^open "list@.") (list.equivalence n.equivalence)] - (and (bit@= (:: n.equivalence = left right) + (let [(^open "list\.") (list.equivalence n.equivalence)] + (and (bit\= (:: n.equivalence = left right) (/.::: = left right)) - (list@= (:: list.functor map inc (enum.range n.enum start end)) + (list\= (:: list.functor map inc (enum.range n.enum start end)) (/.::: map inc (enum.range n.enum start end)))))) (_.test "Can automatically select second-order structures." (/.::: = |