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

[git at git.haskell.org]

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

On branch  : wip/rae
Link       : http://ghc.haskell.org/trac/ghc/changeset/3e4344ab884a284b948f7946d5543b879d6fc6a8/ghc

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

commit 3e4344ab884a284b948f7946d5543b879d6fc6a8
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


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

3e4344ab884a284b948f7946d5543b879d6fc6a8
 compiler/basicTypes/DataCon.hs                     |  2 ++
 compiler/typecheck/TcTyClsDecls.hs                 | 35 ++++++++++++++++++++++
 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 +++--
 .../should_compile/Dep2.hs => polykinds/T13391.hs} |  6 ++--
 testsuite/tests/polykinds/T13391.stderr            |  7 +++++
 testsuite/tests/polykinds/T13391a.hs               |  7 +++++
 testsuite/tests/polykinds/all.T                    |  2 ++
 11 files changed, 67 insertions(+), 12 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 3e4344ab884a284b948f7946d5543b879d6fc6a8