diff options
Diffstat (limited to 'stdlib/source/test/lux/math/number/i64.lux')
-rw-r--r-- | stdlib/source/test/lux/math/number/i64.lux | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/stdlib/source/test/lux/math/number/i64.lux b/stdlib/source/test/lux/math/number/i64.lux index 95a19b447..8a5028a6f 100644 --- a/stdlib/source/test/lux/math/number/i64.lux +++ b/stdlib/source/test/lux/math/number/i64.lux @@ -7,8 +7,9 @@ [monad (.only do)] [\\specification ["$[0]" equivalence] - ["$[0]" hash] - ["$[0]" monoid]]] + ["$[0]" hash]] + ["[0]" monoid + ["[1]T" \\test]]] [math ["[0]" random (.only Random)]] [test @@ -155,9 +156,9 @@ (_.for [/.hash] ($hash.spec /.hash random.i64)) (_.for [/.disjunction] - ($monoid.spec n.equivalence /.disjunction random.nat)) + (monoidT.spec n.equivalence /.disjunction random.nat)) (_.for [/.conjunction] - ($monoid.spec n.equivalence /.conjunction random.nat)) + (monoidT.spec n.equivalence /.conjunction random.nat)) )) (def .public test |