[commit: ghc] wip/redundant-constraints: Print singleton consraints without parens (38abdab)

git at git.haskell.org git at git.haskell.org
Mon Jan 5 16:59:57 UTC 2015


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

On branch  : wip/redundant-constraints
Link       : http://ghc.haskell.org/trac/ghc/changeset/38abdab8e907300ab3110d0df117eb54e35913c2/ghc

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

commit 38abdab8e907300ab3110d0df117eb54e35913c2
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Mon Jan 5 12:56:46 2015 +0000

    Print singleton consraints without parens
    
    The main change is in TypeRep.pprTheta, so we print
           Eq a
    for a singleton, but
          (Eq a, Show a)
    for multiple constraints.
    
    There are lots of trivial knock-on changes to error messages


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

38abdab8e907300ab3110d0df117eb54e35913c2
 compiler/typecheck/TcDeriv.hs                          |  2 +-
 compiler/typecheck/TcErrors.hs                         |  8 ++++----
 compiler/types/TypeRep.hs                              |  2 +-
 testsuite/tests/deriving/should_fail/T5287.stderr      |  2 +-
 .../tests/deriving/should_fail/drvfail-functor2.stderr |  2 +-
 testsuite/tests/gadt/gadt-escape1.stderr               |  2 +-
 testsuite/tests/gadt/gadt13.stderr                     |  2 +-
 testsuite/tests/gadt/gadt21.stderr                     |  2 +-
 testsuite/tests/gadt/gadt7.stderr                      |  2 +-
 .../tests/indexed-types/should_compile/Simple14.stderr |  2 +-
 .../tests/indexed-types/should_compile/T3208b.stderr   |  8 ++++----
 testsuite/tests/indexed-types/should_fail/T2664.stderr |  4 ++--
 testsuite/tests/indexed-types/should_fail/T3440.stderr |  4 ++--
 .../tests/indexed-types/should_fail/T4093a.stderr      |  4 ++--
 .../tests/indexed-types/should_fail/T4093b.stderr      |  6 +++---
 testsuite/tests/indexed-types/should_fail/T8155.stderr |  2 +-
 testsuite/tests/module/mod47.stderr                    |  2 +-
 .../WarningWildcardInstantiations.stderr               |  5 ++---
 .../ExtraConstraintsWildcardNotEnabled.stderr          |  2 +-
 .../InstantiatedNamedWildcardsInConstraints.stderr     |  2 +-
 .../should_fail/WildcardInstantiations.stderr          |  2 +-
 testsuite/tests/polykinds/T7230.stderr                 |  8 ++++----
 testsuite/tests/polykinds/T7438.stderr                 |  2 +-
 testsuite/tests/polykinds/T7594.stderr                 |  2 +-
 testsuite/tests/polykinds/T8566.stderr                 |  4 ++--
 testsuite/tests/polykinds/T9222.stderr                 |  2 +-
 testsuite/tests/typecheck/should_compile/T7220a.stderr |  2 +-
 testsuite/tests/typecheck/should_compile/tc168.stderr  |  2 +-
 .../should_fail/FailDueToGivenOverlapping.stderr       |  2 +-
 testsuite/tests/typecheck/should_fail/IPFail.stderr    |  2 +-
 testsuite/tests/typecheck/should_fail/T1897a.stderr    |  2 +-
 testsuite/tests/typecheck/should_fail/T5300.stderr     |  4 ++--
 testsuite/tests/typecheck/should_fail/T5853.stderr     | 18 +++++++++---------
 testsuite/tests/typecheck/should_fail/T7279.stderr     |  2 +-
 testsuite/tests/typecheck/should_fail/T7525.stderr     |  4 ++--
 testsuite/tests/typecheck/should_fail/T7857.stderr     |  2 +-
 testsuite/tests/typecheck/should_fail/T8912.stderr     |  2 +-
 testsuite/tests/typecheck/should_fail/T9109.stderr     |  2 +-
 testsuite/tests/typecheck/should_fail/tcfail034.stderr |  2 +-
 testsuite/tests/typecheck/should_fail/tcfail041.stderr |  2 +-
 testsuite/tests/typecheck/should_fail/tcfail042.stderr |  4 ++--
 testsuite/tests/typecheck/should_fail/tcfail067.stderr |  8 ++++----
 testsuite/tests/typecheck/should_fail/tcfail072.stderr |  2 +-
 testsuite/tests/typecheck/should_fail/tcfail080.stderr |  2 +-
 testsuite/tests/typecheck/should_fail/tcfail097.stderr |  2 +-
 testsuite/tests/typecheck/should_fail/tcfail098.stderr |  2 +-
 testsuite/tests/typecheck/should_fail/tcfail102.stderr |  2 +-
 testsuite/tests/typecheck/should_fail/tcfail108.stderr |  2 +-
 testsuite/tests/typecheck/should_fail/tcfail130.stderr |  2 +-
 testsuite/tests/typecheck/should_fail/tcfail142.stderr |  2 +-
 testsuite/tests/typecheck/should_fail/tcfail181.stderr |  2 +-
 testsuite/tests/typecheck/should_fail/tcfail208.stderr |  2 +-
 testsuite/tests/typecheck/should_fail/tcfail211.stderr |  2 +-
 testsuite/tests/typecheck/should_fail/tcfail213.stderr |  2 +-
 testsuite/tests/typecheck/should_fail/tcfail214.stderr |  2 +-
 55 files changed, 85 insertions(+), 86 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 38abdab8e907300ab3110d0df117eb54e35913c2


More information about the ghc-commits mailing list