[commit: ghc] master: Re-add missing kind generalisation (c572430)

[git at git.haskell.org]

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

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

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

commit c572430cdade1d8c66fa9c4f1f251dfce09243f0
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Tue Jan 19 13:18:39 2016 +0000

    Re-add missing kind generalisation
    
    When splitting H98/GADT syntax in ConDecl we lost a key
    kind-generalisation step.
    
    I also renamed tcHsTyVarBndrs to tcExplicitTKBnders, by analogy
    with tcImplicitTkBndrs.
    
    This fixes Trac #11459.
    
    Merge to 8.0.


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

c572430cdade1d8c66fa9c4f1f251dfce09243f0
 compiler/typecheck/TcBinds.hs                      |  2 +-
 compiler/typecheck/TcHsType.hs                     | 18 ++++++-------
 compiler/typecheck/TcPatSyn.hs                     |  6 ++---
 compiler/typecheck/TcTyClsDecls.hs                 | 31 ++++++++++++----------
 compiler/typecheck/TcValidity.hs                   |  2 +-
 testsuite/tests/ghci/scripts/T7873.stdout          |  8 +++---
 testsuite/tests/polykinds/T11459.hs                | 14 ++++++++++
 testsuite/tests/polykinds/T11459.stderr            |  9 +++++++
 testsuite/tests/polykinds/all.T                    |  1 +
 .../tests/rename/should_fail/rnfail055.stderr      |  3 +--
 10 files changed, 60 insertions(+), 34 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 c572430cdade1d8c66fa9c4f1f251dfce09243f0