[commit: ghc] wip/spj-wildcard-refactor: More progress (93a97a6)

[git at git.haskell.org]

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

On branch  : wip/spj-wildcard-refactor
Link       : http://ghc.haskell.org/trac/ghc/changeset/93a97a631f3ee3b979ee4f61f6ded4c1fd0e6146/ghc

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

commit 93a97a631f3ee3b979ee4f61f6ded4c1fd0e6146
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Tue Nov 3 16:43:33 2015 +0000

    More progress


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

93a97a631f3ee3b979ee4f61f6ded4c1fd0e6146
 compiler/deSugar/DsArrows.hs                       |  2 +-
 compiler/deSugar/DsExpr.hs                         |  2 +-
 compiler/hsSyn/HsExpr.hs                           | 32 +++-----
 compiler/hsSyn/HsPat.hs                            |  2 +
 compiler/hsSyn/HsTypes.hs                          | 57 ++++++++++++--
 compiler/hsSyn/HsUtils.hs                          | 19 ++---
 compiler/rename/RnTypes.hs                         |  5 +-
 compiler/typecheck/TcArrows.hs                     |  2 +-
 compiler/typecheck/TcBinds.hs                      | 91 +++++++++++++---------
 compiler/typecheck/TcEvidence.hs                   | 25 +++---
 compiler/typecheck/TcExpr.hs                       | 60 +++++++-------
 compiler/typecheck/TcMatches.hs                    |  2 +-
 compiler/typecheck/TcPat.hs                        | 19 +++--
 compiler/typecheck/TcPatSyn.hs                     |  2 +-
 compiler/typecheck/TcUnify.hs                      |  4 +-
 .../tests/indexed-types/should_compile/Records.hs  | 13 +---
 .../should_compile/Defaulting2MROn.stderr          |  2 +-
 .../partial-sigs/should_compile/ExprSigLocal.hs    | 12 +++
 .../should_compile/ExprSigLocal.stderr             | 19 +++++
 .../tests/partial-sigs/should_compile/T10403.hs    |  1 +
 .../partial-sigs/should_compile/T10403.stderr      | 61 +++++++++++----
 .../ExtraConstraintsWildcardNotPresent.stderr      |  7 +-
 .../should_fail/NamedWildcardsNotInMonotype.stderr |  2 +-
 testsuite/tests/partial-sigs/should_fail/T10999.hs |  2 +-
 .../tests/partial-sigs/should_fail/T10999.stderr   | 16 ++--
 .../partial-sigs/should_fail/Trac10045.stderr      |  5 +-
 .../tests/typecheck/should_compile/tc168.stderr    |  2 +-
 .../tests/typecheck/should_fail/T10351.stderr      |  2 +-
 .../tests/typecheck/should_fail/T1897a.stderr      |  2 +-
 testsuite/tests/typecheck/should_fail/T6022.stderr |  2 +-
 testsuite/tests/typecheck/should_fail/T8883.stderr |  2 +-
 .../tests/typecheck/should_fail/tcfail080.stderr   |  2 +-
 32 files changed, 304 insertions(+), 172 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 93a97a631f3ee3b979ee4f61f6ded4c1fd0e6146