[commit: ghc] master: Improve output from -ddump-types (321bc1a)

[git at git.haskell.org]

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

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

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

commit 321bc1a644a9e4598a4af30d4aeae315f0ff487a
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Tue Oct 16 12:03:56 2018 +0100

    Improve output from -ddump-types
    
    This patch makes a number of improvements to the output
    generated by -ddump-types
    
    * Prints data constructor separately
    * Omits empty chunks of output
    
    I was driven initially by the unhelpful existing output for
    data constructors, but ended up doing some refactoring.
    
    Lots of error message wibbles, but nothing significant.
    Certainly no change in user behaviour.
    
    (NB: It is just possible that I have failed to cleanly
         separate this patch from the next one, about
         isPredTy and friends.)


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

321bc1a644a9e4598a4af30d4aeae315f0ff487a
 compiler/typecheck/TcRnDriver.hs                   | 140 ++++++++++++---------
 testsuite/tests/ado/ado004.stderr                  |   2 -
 .../tests/determinism/determ021/determ021.stdout   |   4 -
 testsuite/tests/driver/json2.stderr                |   2 +-
 .../indexed-types/should_compile/T3017.stderr      |   5 +-
 .../tests/partial-sigs/should_compile/ADT.stderr   |   4 +-
 .../partial-sigs/should_compile/AddAndOr1.stderr   |   2 -
 .../partial-sigs/should_compile/AddAndOr2.stderr   |   2 -
 .../partial-sigs/should_compile/AddAndOr3.stderr   |   2 -
 .../partial-sigs/should_compile/AddAndOr4.stderr   |   2 -
 .../partial-sigs/should_compile/AddAndOr5.stderr   |   2 -
 .../partial-sigs/should_compile/AddAndOr6.stderr   |   2 -
 .../partial-sigs/should_compile/BoolToBool.stderr  |   2 -
 .../should_compile/DataFamilyInstanceLHS.stderr    |  15 +--
 .../should_compile/Defaulting1MROn.stderr          |   2 -
 .../should_compile/Defaulting2MROff.stderr         |   2 -
 .../should_compile/Defaulting2MROn.stderr          |   2 -
 .../partial-sigs/should_compile/Either.stderr      |   2 -
 .../should_compile/EqualityConstraint.stderr       |   2 -
 .../tests/partial-sigs/should_compile/Every.stderr |   2 -
 .../partial-sigs/should_compile/EveryNamed.stderr  |   2 -
 .../should_compile/ExpressionSig.stderr            |   2 -
 .../should_compile/ExpressionSigNamed.stderr       |   2 -
 .../should_compile/ExtraConstraints1.stderr        |   2 -
 .../should_compile/ExtraConstraints2.stderr        |   2 -
 .../should_compile/ExtraConstraints3.stderr        |   2 -
 .../should_compile/ExtraNumAMROff.stderr           |   2 -
 .../should_compile/ExtraNumAMROn.stderr            |   2 -
 .../partial-sigs/should_compile/Forall1.stderr     |   2 -
 .../partial-sigs/should_compile/GenNamed.stderr    |   2 -
 .../partial-sigs/should_compile/HigherRank1.stderr |   2 -
 .../partial-sigs/should_compile/HigherRank2.stderr |   2 -
 .../should_compile/LocalDefinitionBug.stderr       |   2 -
 .../partial-sigs/should_compile/Meltdown.stderr    |   3 +-
 .../should_compile/MonoLocalBinds.stderr           |   2 -
 .../partial-sigs/should_compile/NamedTyVar.stderr  |   2 -
 .../NamedWildcardInDataFamilyInstanceLHS.stderr    |  16 +--
 .../NamedWildcardInTypeFamilyInstanceLHS.stderr    |   1 -
 .../should_compile/ParensAroundContext.stderr      |   2 -
 .../partial-sigs/should_compile/PatBind.stderr     |   2 -
 .../partial-sigs/should_compile/PatBind2.stderr    |   2 -
 .../partial-sigs/should_compile/PatternSig.stderr  |   2 -
 .../partial-sigs/should_compile/Recursive.stderr   |   2 -
 .../should_compile/ScopedNamedWildcards.stderr     |   2 -
 .../should_compile/ScopedNamedWildcardsGood.stderr |   2 -
 .../partial-sigs/should_compile/ShowNamed.stderr   |   2 -
 .../partial-sigs/should_compile/SimpleGen.stderr   |   2 -
 .../partial-sigs/should_compile/SkipMany.stderr    |   5 +-
 .../should_compile/SomethingShowable.stderr        |   2 -
 .../partial-sigs/should_compile/Uncurry.stderr     |   2 -
 .../should_compile/UncurryNamed.stderr             |   2 -
 .../WarningWildcardInstantiations.stderr           |   2 -
 testsuite/tests/polykinds/T15592.stderr            |   8 +-
 testsuite/tests/roles/should_compile/Roles1.stderr |  17 ++-
 testsuite/tests/roles/should_compile/Roles2.stderr |   7 +-
 testsuite/tests/roles/should_compile/T8958.stderr  |   6 +-
 testsuite/tests/th/TH_Roles2.stderr                |   2 -
 .../tests/typecheck/should_compile/T12763.stderr   |   2 +-
 .../tests/typecheck/should_compile/tc231.stderr    |   5 +-
 59 files changed, 119 insertions(+), 207 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 321bc1a644a9e4598a4af30d4aeae315f0ff487a