diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/lux/meta/annotation.lux | 25 |
1 files changed, 10 insertions, 15 deletions
diff --git a/stdlib/source/test/lux/meta/annotation.lux b/stdlib/source/test/lux/meta/annotation.lux index f80ffeb29..c9a0f6946 100644 --- a/stdlib/source/test/lux/meta/annotation.lux +++ b/stdlib/source/test/lux/meta/annotation.lux @@ -101,21 +101,16 @@ (not (|> expected code.bit (..annotation dummy) (/.flagged? key)))))) - (~~ (template [<definition> <tag>] - [(do ! - [expected random.bit] - (_.cover [<definition>] - (and (|> expected code.bit - (..annotation (name_of <tag>)) - <definition> - (\ bit.equivalence = expected)) - (not (|> expected code.bit - (..annotation key) - <definition>)))))] - - [/.implementation? #.implementation?] - [/.recursive_type? #.type_rec?] - )) + (do ! + [expected random.bit] + (_.cover [/.implementation?] + (and (|> expected code.bit + (..annotation (name_of #.implementation?)) + /.implementation? + (\ bit.equivalence = expected)) + (not (|> expected code.bit + (..annotation key) + /.implementation?))))) )))) (def: arguments |