Run check-api-annotations and check-ppr on all parseable test code
The check-ppr
utility checks that parse (ppr (parse s)) === parse s
holds, when given a file to test.
Likewise, the check-api-annotations
utility checks that all API annotations are actually attached to the ParsedSource
output, and that they do not precede their attachment span.
At the moment these checks are only run on a subset of code, as explicitly called for in the /testsuite/tests/printer
and /testsuite/tests/ghc-api/annotations
tests.
These properties are supposed to hold for all GHC parseable haskell.
So rather than requiring individual developers to add specific tests to confirm their new features work properly, extend the test framework to make a pass over all the files that are expected to be parseable, and run these checks on them.
Trac metadata
Trac field | Value |
---|---|
Version | 8.6.3 |
Type | FeatureRequest |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Test Suite |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |