[commit: ghc] master: Check for bogus quantified tyvars in partial type sigs (72938f5)

[git at git.haskell.org]

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

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

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

commit 72938f5890dac81afad52bf58175c1e29ffbc6dd
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Wed Dec 20 15:41:02 2017 +0000

    Check for bogus quantified tyvars in partial type sigs
    
    This fixes Trac #14479.  Not difficult.
    
    See Note [Quantification and partial signatures] Wrinkle 4,
    in TcSimplify.


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

72938f5890dac81afad52bf58175c1e29ffbc6dd
 compiler/typecheck/TcBinds.hs                      | 54 ++++++++++-------
 compiler/typecheck/TcSimplify.hs                   | 69 ++++++++++++++--------
 testsuite/tests/partial-sigs/should_fail/T14479.hs |  9 +++
 .../tests/partial-sigs/should_fail/T14479.stderr   | 10 ++++
 testsuite/tests/partial-sigs/should_fail/all.T     |  1 +
 5 files changed, 96 insertions(+), 47 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 72938f5890dac81afad52bf58175c1e29ffbc6dd