[commit: ghc] ghc-8.4: Check for bogus quantified tyvars in partial type sigs (87e517c)

[git at git.haskell.org]

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

On branch  : ghc-8.4
Link       : http://ghc.haskell.org/trac/ghc/changeset/87e517c1ca29606ce0dd2d7624f525f08f383283/ghc

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

commit 87e517c1ca29606ce0dd2d7624f525f08f383283
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.
    
    (cherry picked from commit 72938f5890dac81afad52bf58175c1e29ffbc6dd)


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

87e517c1ca29606ce0dd2d7624f525f08f383283
 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 87e517c1ca29606ce0dd2d7624f525f08f383283