[commit: ghc] master: Fix scoping of data cons during kind checking (2501fb7)

[git at git.haskell.org]

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

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

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

commit 2501fb70691f80b9c48e5f9bdea3b897653f499a
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Fri May 19 14:57:59 2017 +0100

    Fix scoping of data cons during kind checking
    
    Trac #13625 pointed out that in
    
       data X :: Y where Y :: X
    
    we need 'Y' to be in scope (as APromotionErr) when dealing with
    X's kind signature.  Previously we got a crash.
    
    This patch simplifies the code as well as making it work.


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

2501fb70691f80b9c48e5f9bdea3b897653f499a
 compiler/typecheck/TcEnv.hs             |  24 ++++--
 compiler/typecheck/TcRnTypes.hs         |   4 +-
 compiler/typecheck/TcTyClsDecls.hs      | 143 ++++++++++++++++++--------------
 testsuite/tests/polykinds/T13625.hs     |   5 ++
 testsuite/tests/polykinds/T13625.stderr |   5 ++
 testsuite/tests/polykinds/all.T         |   1 +
 6 files changed, 109 insertions(+), 73 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 2501fb70691f80b9c48e5f9bdea3b897653f499a