diff options
Diffstat (limited to 'stdlib/source/test/lux/macro/syntax/common.lux')
| -rw-r--r-- | stdlib/source/test/lux/macro/syntax/common.lux | 15 |
1 files changed, 3 insertions, 12 deletions
diff --git a/stdlib/source/test/lux/macro/syntax/common.lux b/stdlib/source/test/lux/macro/syntax/common.lux index 98b3cdc0c..592baa036 100644 --- a/stdlib/source/test/lux/macro/syntax/common.lux +++ b/stdlib/source/test/lux/macro/syntax/common.lux @@ -30,7 +30,8 @@ ["#." code]] ["." / #_ ["#." check] - ["#." definition]]) + ["#." definition] + ["#." export]]) (def: annotations-equivalence (Equivalence /.Annotations) @@ -59,17 +60,6 @@ (_.covering /reader._) (_.covering /writer._) ($_ _.and - (do random.monad - [expected random.bit] - (_.cover [/reader.export /writer.export] - (|> expected - /writer.export - (<c>.run /reader.export) - (case> (#try.Success actual) - (bit\= expected actual) - - (#try.Failure error) - false)))) (_.for [/.Annotations] ($_ _.and (do random.monad @@ -138,4 +128,5 @@ /check.test /definition.test + /export.test ))) |