diff options
Diffstat (limited to 'stdlib/source/test/lux/meta/macro/syntax/check.lux')
| -rw-r--r-- | stdlib/source/test/lux/meta/macro/syntax/check.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/test/lux/meta/macro/syntax/check.lux b/stdlib/source/test/lux/meta/macro/syntax/check.lux index aac4bc781..623b944b8 100644 --- a/stdlib/source/test/lux/meta/macro/syntax/check.lux +++ b/stdlib/source/test/lux/meta/macro/syntax/check.lux @@ -3,8 +3,8 @@ [lux (.except) [abstract [monad (.only do)] - [\\specification - ["$[0]" equivalence]]] + ["[0]" equivalence + ["[1]T" \\test]]] [control ["<>" parser] ["[0]" try]] @@ -33,7 +33,7 @@ (_.for [/.Check]) (all _.and (_.for [/.equivalence] - ($equivalence.spec /.equivalence ..random)) + (equivalenceT.spec /.equivalence ..random)) (do random.monad [[type value] ..random] |