diff options
Diffstat (limited to 'stdlib/source/test/lux/data/bit.lux')
| -rw-r--r-- | stdlib/source/test/lux/data/bit.lux | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/stdlib/source/test/lux/data/bit.lux b/stdlib/source/test/lux/data/bit.lux index 176b3114a..5b2ec3b02 100644 --- a/stdlib/source/test/lux/data/bit.lux +++ b/stdlib/source/test/lux/data/bit.lux @@ -4,8 +4,9 @@ [abstract [monad (.only do)] [\\specification - ["$[0]" equivalence] ["$[0]" hash]] + ["[0]" equivalence + ["[1]T" \\test]] ["[0]" codec ["[1]T" \\test]] ["[0]" monoid @@ -26,7 +27,7 @@ [value random.bit] (all _.and (_.for [/.equivalence] - ($equivalence.spec /.equivalence random.bit)) + (equivalenceT.spec /.equivalence random.bit)) (_.for [/.hash] ($hash.spec /.hash random.bit)) (_.for [/.disjunction] |