[commit: ghc] ghc-8.4: Fix tcDataKindSig (02aa02f)

[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/02aa02f1400adcc8a19968886e06e72de621cc78/ghc

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

commit 02aa02f1400adcc8a19968886e06e72de621cc78
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Fri Dec 15 09:29:12 2017 +0000

    Fix tcDataKindSig
    
    This patch fixes an outright bug in tcDataKindSig, shown up in Trac
    of a data type declaration.  See Note [TyConBinders for the result kind
    signature of a data type]
    
    I also took the opportunity to elminate the DataKindCheck argument
    and data type from tcDataKindSig, instead moving the check to the
    call site, which is easier to understand.
    
    (cherry picked from commit 68149452a793aedd8d468b689dc93fb2ba5ec436)


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

02aa02f1400adcc8a19968886e06e72de621cc78
 compiler/typecheck/TcHsType.hs             | 126 +++++++++++++++++------------
 compiler/typecheck/TcInstDcls.hs           |  20 ++---
 compiler/typecheck/TcTyClsDecls.hs         |  22 +++--
 compiler/types/Type.hs                     |  16 +---
 testsuite/tests/ghci/scripts/T13407.stdout |   2 +-
 testsuite/tests/polykinds/T14515.hs        |  13 +++
 testsuite/tests/polykinds/all.T            |   1 +
 7 files changed, 116 insertions(+), 84 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 02aa02f1400adcc8a19968886e06e72de621cc78