diff options
Diffstat (limited to 'stdlib/source/test/lux/meta/type/implicit.lux')
| -rw-r--r-- | stdlib/source/test/lux/meta/type/implicit.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/test/lux/meta/type/implicit.lux b/stdlib/source/test/lux/meta/type/implicit.lux index 233c121ca..b4f5c2f2b 100644 --- a/stdlib/source/test/lux/meta/type/implicit.lux +++ b/stdlib/source/test/lux/meta/type/implicit.lux @@ -26,7 +26,7 @@ Test (<| (_.covering /._) (do [! random.monad] - [.let [digit (at ! each (n.% 10) random.nat)] + [.let [digit (of ! each (n.% 10) random.nat)] left digit right digit .let [start (n.min left right) @@ -38,9 +38,9 @@ (_.coverage [/.a/an /.a /.an] (let [first_order! (let [(open "list#[0]") (list.equivalence n.equivalence)] - (and (bit#= (at n.equivalence = left right) + (and (bit#= (of n.equivalence = left right) (/.a = left right)) - (list#= (at list.functor each ++ (enum.range n.enum start end)) + (list#= (of list.functor each ++ (enum.range n.enum start end)) (/.an each ++ (enum.range n.enum start end))))) second_order! @@ -57,9 +57,9 @@ third_order!))) (_.coverage [/.with] (/.with [n.addition] - (n.= (at n.addition composite left right) + (n.= (of n.addition composite left right) (/.a/an composite left right)))) (_.coverage [/.implicitly] - (n.= (at n.multiplication composite left right) + (n.= (of n.multiplication composite left right) (/.a/an composite left right))) )))) |