[commit: ghc] master: Fix quantification for inference with sigs (28096b2)

[git at git.haskell.org]

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

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

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

commit 28096b274a3803b8a479c5dd94ebda655a15566c
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Wed Aug 5 16:46:16 2015 +0100

    Fix quantification for inference with sigs
    
    When we are *inferring* the type of a let-bound function,
    we might still have a type signature.  And we must be sure
    to quantify over its type variables, else you get the crash
    in Trac #10615.
    
    See Note [Which type variables to quantify] in TcSimplify


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

28096b274a3803b8a479c5dd94ebda655a15566c
 compiler/typecheck/TcBinds.hs                      |  4 +-
 compiler/typecheck/TcRnDriver.hs                   |  1 +
 compiler/typecheck/TcSimplify.hs                   | 60 ++++++++++++++++++----
 testsuite/tests/partial-sigs/should_fail/T10615.hs | 10 ++++
 .../tests/partial-sigs/should_fail/T10615.stderr   | 34 ++++++++++++
 testsuite/tests/partial-sigs/should_fail/all.T     |  2 +
 6 files changed, 100 insertions(+), 11 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 28096b274a3803b8a479c5dd94ebda655a15566c