[GHC] #5937: Kind variables not allowed in data declaration kind annotation

[GHC]

#5937: Kind variables not allowed in data declaration kind annotation
---------------------------------------+------------------------------------
 Reporter:  goldfire                   |          Owner:                         
     Type:  bug                        |         Status:  new                    
 Priority:  normal                     |      Component:  Compiler (Type checker)
  Version:  7.5                        |       Keywords:  PolyKinds              
       Os:  Unknown/Multiple           |   Architecture:  Unknown/Multiple       
  Failure:  GHC rejects valid program  |       Testcase:                         
Blockedby:                             |       Blocking:                         
  Related:                             |  
---------------------------------------+------------------------------------

Comment(by simonpj@…):

 commit 431c05b3c963773afda1c4f917d03aa187deccc1
 {{{
 Author: Simon Peyton Jones <simonpj at microsoft.com>
 Date:   Wed Mar 14 17:26:20 2012 +0000

     Deal with kind variables brought into scope by a kind signature

     This fixes Trac #5937, where a kind variable is mentioned only
     in the kind signature of a GADT
        data SMaybe :: (k -> *) -> Maybe k -> * where ...

     The main change is that the tcdKindSig field of TyData and TyFamily
     now has type Maybe (HsBndrSig (LHsKind name)), where the HsBndrSig
     part deals with the kind variables that the signature may bind.

     I also removed the now-unused PostTcKind field of UserTyVar and
     KindedTyVar.

  compiler/hsSyn/HsDecls.lhs          |    6 +++---
  compiler/hsSyn/HsTypes.lhs          |   22 ++++------------------
  compiler/hsSyn/HsUtils.lhs          |    2 +-
  compiler/parser/Parser.y.pp         |    8 ++++----
  compiler/parser/ParserCore.y        |    2 +-
  compiler/parser/RdrHsSyn.lhs        |   11 ++++++-----
  compiler/rename/RnTypes.lhs         |   21 +++++++++++----------
  compiler/typecheck/TcEnv.lhs        |    7 +------
  compiler/typecheck/TcHsType.lhs     |   10 +++++-----
  compiler/typecheck/TcTyClsDecls.lhs |    7 ++++---
  10 files changed, 40 insertions(+), 56 deletions(-)
 }}}

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5937#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler