#16237: Run check-api-annotations and check-ppr on all parseable test code -------------------------------------+------------------------------------- Reporter: alanz | Owner: (none) Type: feature | Status: new request | Priority: normal | Milestone: Component: Test Suite | Version: 8.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- 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. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/16237 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler