Improve printing of pattern synonym types
authorRik Steenkamp <rik@ewps.nl>
Sat, 2 Apr 2016 19:39:10 +0000 (20:39 +0100)
committerBen Gamari <ben@smart-cactus.org>
Mon, 4 Apr 2016 13:43:44 +0000 (15:43 +0200)
commitf75e098a0e3f7c81cad92e6b52f6c00a6491152d
tree902b227edb94f44b4e5ec07c81df5cd79f659e39
parent9749b8c440181bdd6470c11a409c0e5b32152577
Improve printing of pattern synonym types

Add the function `pprPatSynType :: PatSyn -> SDoc` for printing pattern
synonym types, and remove the ambiguous `patSynType` function. Also,
the types in a `PatSyn` are now tidy.

Haddock submodule updated to reflect the removal of `patSynType` by
mpickering.

Fixes: #11213.

Reviewers: goldfire, simonpj, austin, mpickering, bgamari

Reviewed By: simonpj, mpickering

Subscribers: bollmann, simonpj, thomie

Differential Revision: https://phabricator.haskell.org/D1896

GHC Trac Issues: #11213

(cherry picked from commit 72bd7f7be7809076f321a6fca90024e3e1bde3cc)
compiler/basicTypes/PatSyn.hs
compiler/rename/RnNames.hs
compiler/typecheck/TcPatSyn.hs
compiler/typecheck/TcRnTypes.hs
testsuite/tests/patsyn/should_compile/T11213.hs [new file with mode: 0644]
testsuite/tests/patsyn/should_compile/T11213.stderr [new file with mode: 0644]
testsuite/tests/patsyn/should_compile/all.T
utils/haddock