[commit: ghc] master: Use partial-sig constraints as givens (e24b50c)

[git at git.haskell.org]

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

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

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

commit e24b50c3a70a247a4695a80aceba0cf351eb1e9e
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Tue May 10 12:48:29 2016 +0100

    Use partial-sig constraints as givens
    
    In TcSimplify.simplifyInfer, use the context of a partial type
    signature as 'givens' when simplifying the inferred constraints of the
    group.  This way we get maximum benefit from them.  See
    Note [Add signature contexts as givens].
    
    This (finally) fixes test EqualityConstraints in Trac #9478.
    
    And it's a nice tidy-up.


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

e24b50c3a70a247a4695a80aceba0cf351eb1e9e
 compiler/typecheck/TcBinds.hs                      |  11 +-
 compiler/typecheck/TcSimplify.hs                   | 130 +++++++++++----------
 compiler/typecheck/TcType.hs                       |  36 +++---
 .../tests/partial-sigs/should_compile/SuperCls.hs  |   7 ++
 .../partial-sigs/should_compile/SuperCls.stderr    |   4 +
 .../WarningWildcardInstantiations.stderr           |   2 +-
 testsuite/tests/partial-sigs/should_compile/all.T  |   1 +
 .../should_fail/WildcardInstantiations.stderr      |   2 +-
 8 files changed, 111 insertions(+), 82 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 e24b50c3a70a247a4695a80aceba0cf351eb1e9e