[GHC] #16237: Run check-api-annotations and check-ppr on all parseable test code

[GHC]

#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