[commit: ghc] master: Check quantification for partial type signatues (4efe5fe)

[git at git.haskell.org]

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

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

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

commit 4efe5fed407067d4b27000e0cf4092cfb6f7502b
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Tue Nov 14 15:26:19 2017 +0000

    Check quantification for partial type signatues
    
    Trac #14449 showed that we were failing to check that the
    quantified type variables of a partial type signature remained
    distinct.
    
    See Note [Quantified variables in partial type signatures]
    in TcBinds.
    
    A little refactoring along the way.


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

4efe5fed407067d4b27000e0cf4092cfb6f7502b
 compiler/typecheck/TcBinds.hs                      | 126 ++++++++++++++-------
 compiler/typecheck/TcHsType.hs                     |  15 ++-
 testsuite/tests/partial-sigs/should_fail/T14449.hs |   6 +
 .../tests/partial-sigs/should_fail/T14449.stderr   |   4 +
 testsuite/tests/partial-sigs/should_fail/all.T     |   1 +
 5 files changed, 103 insertions(+), 49 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 4efe5fed407067d4b27000e0cf4092cfb6f7502b