diff options
| author | Eduardo Julian | 2021-09-07 23:31:05 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-09-07 23:31:05 -0400 |
| commit | ac419f9e94bc3b82cfb78c41e91b08b308a2ac71 (patch) | |
| tree | 020f7bf18ab2c67500d49e0f249e505daeaf689f /stdlib/source/test | |
| parent | 35c0807799717cd720ab28b35851c1a01a67445d (diff) | |
Eliminated the last application of annotations.
Diffstat (limited to 'stdlib/source/test')
| -rw-r--r-- | stdlib/source/test/lux/meta/annotation.lux | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/stdlib/source/test/lux/meta/annotation.lux b/stdlib/source/test/lux/meta/annotation.lux index 350d3656e..3dae7f7b9 100644 --- a/stdlib/source/test/lux/meta/annotation.lux +++ b/stdlib/source/test/lux/meta/annotation.lux @@ -101,16 +101,6 @@ (not (|> expected code.bit (..annotation dummy) (/.flagged? key)))))) - (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: .public test |