diff options
Diffstat (limited to 'stdlib/source/test/lux/data/text/unicode')
-rw-r--r-- | stdlib/source/test/lux/data/text/unicode/block.lux | 5 | ||||
-rw-r--r-- | stdlib/source/test/lux/data/text/unicode/set.lux | 6 |
2 files changed, 6 insertions, 5 deletions
diff --git a/stdlib/source/test/lux/data/text/unicode/block.lux b/stdlib/source/test/lux/data/text/unicode/block.lux index 370740c9a..88261f69a 100644 --- a/stdlib/source/test/lux/data/text/unicode/block.lux +++ b/stdlib/source/test/lux/data/text/unicode/block.lux @@ -3,8 +3,9 @@ [lux (.except) [abstract [monad (.only do)] + ["[0]" equivalence + ["[1]T" \\test]] [\\specification - ["$[0]" equivalence] ["$[0]" hash]] ["[0]" monoid ["[1]T" \\test]]] @@ -187,7 +188,7 @@ random.nat)] (`` (all _.and (_.for [/.equivalence] - ($equivalence.spec /.equivalence ..random)) + (equivalenceT.spec /.equivalence ..random)) (_.for [/.hash] ($hash.spec /.hash ..random)) (_.for [/.monoid] diff --git a/stdlib/source/test/lux/data/text/unicode/set.lux b/stdlib/source/test/lux/data/text/unicode/set.lux index 1c62d0eda..21c56d628 100644 --- a/stdlib/source/test/lux/data/text/unicode/set.lux +++ b/stdlib/source/test/lux/data/text/unicode/set.lux @@ -3,8 +3,8 @@ [lux (.except) [abstract [monad (.only do)] - [\\specification - ["$[0]" equivalence]]] + ["[0]" equivalence + ["[1]T" \\test]]] [data ["[0]" product] ["[0]" bit (.use "[1]#[0]" equivalence)] @@ -47,7 +47,7 @@ n.equivalence)]] (`` (all _.and (_.for [/.equivalence] - ($equivalence.spec /.equivalence ..random)) + (equivalenceT.spec /.equivalence ..random)) (_.coverage [/.set] (and (n.= (block.start left) |