[GHC] #7972: Simplifier introduces unbound kind variables (caught by -dcore-lint)

[GHC]

#7972: Simplifier introduces unbound kind variables (caught by -dcore-lint)
---------------------------------+------------------------------------------
    Reporter:  diatchki          |        Owner:                         
        Type:  bug               |       Status:  closed                 
    Priority:  normal            |    Component:  Compiler (Type checker)
     Version:  7.7               |   Resolution:  duplicate              
    Keywords:                    |           Os:  Unknown/Multiple       
Architecture:  Unknown/Multiple  |      Failure:  None/Unknown           
   Blockedby:                    |     Blocking:                         
     Related:                    |  
---------------------------------+------------------------------------------
Changes (by diatchki):

  * status:  new => closed
  * resolution:  => duplicate


Comment:

 This is the same as #7973.

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