diff options
author | Eduardo Julian | 2019-07-26 21:23:27 -0400 |
---|---|---|
committer | Eduardo Julian | 2019-07-26 21:23:27 -0400 |
commit | a0889b2ee76c1ae7a9a5bbe2eec9f051b4f341e4 (patch) | |
tree | 08df3db7f8fffad6360a476d20db1d40b36c85cb /stdlib/source/test/lux/type/implicit.lux | |
parent | 78fd01f7e6688448bbd710336d4d7b1c35ae058a (diff) |
No more "n/"-prefixed functions.
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/type/implicit.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/test/lux/type/implicit.lux b/stdlib/source/test/lux/type/implicit.lux index 34b8b68c9..14b7c9524 100644 --- a/stdlib/source/test/lux/type/implicit.lux +++ b/stdlib/source/test/lux/type/implicit.lux @@ -10,7 +10,7 @@ [data ["." bit ("#@." equivalence)] [number - ["." nat]] + ["n" nat]] [collection ["." list]]]] {1 @@ -24,8 +24,8 @@ y r.nat] ($_ _.and (_.test "Can automatically select first-order structures." - (let [(^open "list@.") (list.equivalence nat.equivalence)] - (and (bit@= (:: nat.equivalence = x y) + (let [(^open "list@.") (list.equivalence n.equivalence)] + (and (bit@= (:: n.equivalence = x y) (/.::: = x y)) (list@= (list.n/range 1 10) (/.::: map inc (list.n/range 0 9))) |