Some forall-related cleanup in deriving code
authorRyan Scott <ryan.gl.scott@gmail.com>
Tue, 14 May 2019 19:04:02 +0000 (15:04 -0400)
committerMarge Bot <ben+marge-bot@smart-cactus.org>
Fri, 24 May 2019 02:43:12 +0000 (22:43 -0400)
commit6eedbd83a19cad94414b37f984b6e9c2b0c0b2e4
treef9558c084950b8879dbe2e42f2703aeb820e1071
parent59f4cb6fb73ade6f9b0bdc85380dfddba93bf14b
Some forall-related cleanup in deriving code

* Tweak the parser to allow `deriving` clauses to mention explicit
  `forall`s or kind signatures without gratuitous parentheses.
  (This fixes #14332 as a consequence.)
* Allow Haddock comments on `deriving` clauses with explicit
  `forall`s. This requires corresponding changes in Haddock.
compiler/deSugar/ExtractDocs.hs
compiler/parser/Parser.y
testsuite/tests/deriving/should_compile/T14332.hs [new file with mode: 0644]
testsuite/tests/deriving/should_compile/all.T
testsuite/tests/haddock/should_compile_flag_haddock/T11768.hs
testsuite/tests/haddock/should_compile_flag_haddock/T11768.stderr
utils/haddock