[GHC] #7020: Kind variable generalization problem

[GHC]

#7020: Kind variable generalization problem
----------------------------------------+-----------------------------------
  Reporter:  goldfire                   |          Owner:                  
      Type:  bug                        |         Status:  closed          
  Priority:  normal                     |      Milestone:                  
 Component:  Compiler                   |        Version:  7.5             
Resolution:  fixed                      |       Keywords:  PolyKinds       
        Os:  Unknown/Multiple           |   Architecture:  Unknown/Multiple
   Failure:  GHC rejects valid program  |     Difficulty:  Unknown         
  Testcase:  polykinds/T7020            |      Blockedby:                  
  Blocking:                             |        Related:                  
----------------------------------------+-----------------------------------
Changes (by simonpj):

  * status:  new => closed
  * difficulty:  => Unknown
  * resolution:  => fixed
  * testcase:  => polykinds/T7020


Comment:

 Great. Fixed in HEAD, test added. I think this was the commit
 {{{
 Author: Simon Peyton Jones <simonpj at microsoft.com>
  Date:   Tue Jul 10 16:02:03 2012 +0100

      More changes to kind inference for type and class declarations

      These should fix #7024 and #7022, among others.

      The main difficulty was that we were getting occ-name clashes
      between kind and type variables in TyCons, when spat into an
      interface file. The new scheme is to tidy TyCons during the
      conversoin into IfaceSyn, rather than trying to generate them
      pre-tidied, which was the already-unsatisfactory previous plan.

      There is the usual wave of refactorig as well.

   compiler/iface/MkIface.lhs          |  129
  +++++++++++++++++++++-----------
   compiler/typecheck/TcHsType.lhs     |  143
  ++++++++++++++++++++---------------
   compiler/typecheck/TcRnDriver.lhs   |    8 +-
   compiler/typecheck/TcRnTypes.lhs    |   40 +++++++---
   compiler/typecheck/TcRules.lhs      |    3 +-
   compiler/typecheck/TcTyClsDecls.lhs |  110 +++++++++++++-------------
   compiler/types/Kind.lhs             |    9 ++-
   7 files changed, 267 insertions(+), 175 deletions(-)
  }}}

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