[commit: ghc] wip/rae-kind-gadts: Fix #13391 by checking for kind-GADTs (a07d644)

[git at git.haskell.org]

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

On branch  : wip/rae-kind-gadts
Link       : http://ghc.haskell.org/trac/ghc/changeset/a07d64454e1b0106d3d0c67b32f966ee19e23e3a/ghc

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

commit a07d64454e1b0106d3d0c67b32f966ee19e23e3a
Author: Richard Eisenberg <rae at cs.brynmawr.edu>
Date:   Tue Aug 15 17:22:50 2017 -0400

    Fix #13391 by checking for kind-GADTs
    
    The check is a bit gnarly, but I couldn't think of a better way.
    See the new code in TcTyClsDecls.
    
    test case: polykinds/T13391


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

a07d64454e1b0106d3d0c67b32f966ee19e23e3a
 compiler/basicTypes/DataCon.hs                     |  2 ++
 compiler/typecheck/TcTyClsDecls.hs                 | 29 ++++++++++++++++++++++
 libraries/base/Data/Type/Equality.hs               |  3 +--
 testsuite/tests/dependent/should_compile/Dep2.hs   |  2 +-
 .../dependent/should_compile/KindEqualities.hs     |  6 +++--
 .../dependent/should_compile/KindEqualities.stderr |  2 +-
 .../should_run/overloadedrecfldsrun07.hs           |  7 +++---
 testsuite/tests/polykinds/T13391.hs                |  8 ++++++
 testsuite/tests/polykinds/T13391.stderr            |  7 ++++++
 testsuite/tests/polykinds/all.T                    |  1 +
 10 files changed, 58 insertions(+), 9 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 a07d64454e1b0106d3d0c67b32f966ee19e23e3a