[commit: ghc] master: Better -ddump-types (e9e6640)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/e9e664022af66778bcc08f66ce3ba3b012c77ea4/ghc

>---------------------------------------------------------------

commit e9e664022af66778bcc08f66ce3ba3b012c77ea4
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Wed Oct 3 13:24:11 2018 +0100

    Better -ddump-types
    
    The debug flag -ddump-types is supposed to show the type
    of Ids, and the kinds of type constructors.  It was doing
    the former but not the latter -- instead it was using
    showTyTying, which is actually less helpful when debugging.
    
    This patch changes it to print the kind and roles of the thing.
    
    I also made -ddump-types show pattern synonyms


>---------------------------------------------------------------

e9e664022af66778bcc08f66ce3ba3b012c77ea4
 compiler/typecheck/TcRnDriver.hs                   | 68 +++++++++++++++-------
 testsuite/tests/driver/json2.stderr                |  2 +-
 .../indexed-types/should_compile/T3017.stderr      |  8 +--
 .../tests/partial-sigs/should_compile/ADT.stderr   |  2 +-
 .../should_compile/DataFamilyInstanceLHS.stderr    |  5 +-
 .../partial-sigs/should_compile/Meltdown.stderr    |  2 +-
 .../NamedWildcardInDataFamilyInstanceLHS.stderr    |  5 +-
 .../NamedWildcardInTypeFamilyInstanceLHS.stderr    |  6 +-
 .../partial-sigs/should_compile/SkipMany.stderr    |  2 +-
 .../should_compile/TypeFamilyInstanceLHS.stderr    |  3 +-
 testsuite/tests/roles/should_compile/Roles1.stderr | 20 +++----
 .../tests/roles/should_compile/Roles14.stderr      |  4 +-
 testsuite/tests/roles/should_compile/Roles2.stderr |  4 +-
 testsuite/tests/roles/should_compile/Roles3.stderr | 25 +++-----
 testsuite/tests/roles/should_compile/Roles4.stderr | 10 +---
 testsuite/tests/roles/should_compile/T8958.stderr  |  6 +-
 testsuite/tests/th/TH_Roles2.stderr                | 10 ++--
 .../tests/typecheck/should_compile/T12763.stderr   |  4 +-
 .../tests/typecheck/should_compile/tc231.stderr    | 10 ++--
 19 files changed, 102 insertions(+), 94 deletions(-)

Diff suppressed because of size. To see it, use:

    git diff-tree --root --patch-with-stat --no-color --find-copies-harder --ignore-space-at-eol --cc e9e664022af66778bcc08f66ce3ba3b012c77ea4