[GHC] #6021: panic with scoped kind variables

[GHC]

#6021: panic with scoped kind variables
---------------------------------+------------------------------------------
  Reporter:  atnnn               |          Owner:                  
      Type:  bug                 |         Status:  closed          
  Priority:  normal              |      Milestone:                  
 Component:  Compiler            |        Version:  7.5             
Resolution:  fixed               |       Keywords:                  
        Os:  Unknown/Multiple    |   Architecture:  Unknown/Multiple
   Failure:  Compile-time crash  |     Difficulty:  Unknown         
  Testcase:  polykinds/T6021     |      Blockedby:                  
  Blocking:                      |        Related:                  
---------------------------------+------------------------------------------
Changes (by simonpj):

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


Comment:

 Thank you. Fixed.
 {{{
 T6021.hs:5:22:
     Type variable `b' used as a kind
     In the kind `b'
     In the instance declaration for `Panic (a :: b) b'
 }}}

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