[commit: ghc] master: Fix #13391 by checking for kind-GADTs (7aa000b)

[git at git.haskell.org]

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

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

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

commit 7aa000b625c677534c87da43de31c27a2b969183
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


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

7aa000b625c677534c87da43de31c27a2b969183
 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 7aa000b625c677534c87da43de31c27a2b969183