diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/abstract/hash.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/test/lux/abstract/hash.lux b/stdlib/source/test/lux/abstract/hash.lux index 9f29b0ec6..fb6bf8925 100644 --- a/stdlib/source/test/lux/abstract/hash.lux +++ b/stdlib/source/test/lux/abstract/hash.lux @@ -3,9 +3,9 @@ [lux (.except) [abstract [monad (.only do)] - [\\specification - [functor - ["$[0]" contravariant]]]] + [functor + ["[0]" contravariant + ["[1]T" \\test]]]] [data ["[0]" bit (.use "[1]#[0]" equivalence)]] [math @@ -36,5 +36,5 @@ (<| (_.covering /._) (all _.and (_.for [/.functor] - ($contravariant.spec hash nat.hash /.functor)) + (contravariantT.spec hash nat.hash /.functor)) )))) |