diff options
Diffstat (limited to 'stdlib/source/test/lux/math/number/int.lux')
-rw-r--r-- | stdlib/source/test/lux/math/number/int.lux | 17 |
1 files changed, 10 insertions, 7 deletions
diff --git a/stdlib/source/test/lux/math/number/int.lux b/stdlib/source/test/lux/math/number/int.lux index 6223d9316..cd444a6e7 100644 --- a/stdlib/source/test/lux/math/number/int.lux +++ b/stdlib/source/test/lux/math/number/int.lux @@ -6,11 +6,14 @@ [\\specification ["$[0]" equivalence] ["$[0]" hash] - ["$[0]" order] ["$[0]" enum] - ["$[0]" interval] - ["$[0]" monoid] - ["$[0]" codec]]] + ["$[0]" interval]] + ["[0]" codec + ["[1]T" \\test]] + ["[0]" order + ["[1]T" \\test]] + ["[0]" monoid + ["[1]T" \\test]]] [data ["[0]" bit (.use "[1]#[0]" equivalence)]] [math @@ -34,14 +37,14 @@ (_.for [/.hash] ($hash.spec /.hash random.int)) (_.for [/.order /.<] - ($order.spec /.order random.int)) + (orderT.spec /.order random.int)) (_.for [/.enum] ($enum.spec /.enum random.int)) (_.for [/.interval] ($interval.spec /.interval random.int)) (,, (with_template [<monoid>] [(_.for [<monoid>] - ($monoid.spec /.equivalence <monoid> random.int))] + (monoidT.spec /.equivalence <monoid> random.int))] [/.addition] [/.multiplication] @@ -51,7 +54,7 @@ )) (,, (with_template [<codec>] [(_.for [<codec>] - ($codec.spec /.equivalence <codec> random.int))] + (codecT.spec /.equivalence <codec> random.int))] [/.binary] [/.octal] [/.decimal] [/.hex] )) |