[GHC] #7224: Polymorphic kind annotations on type classes don't always work as expected

[GHC]

#7224: Polymorphic kind annotations on type classes don't always work as expected
----------------------------------------+-----------------------------------
  Reporter:  slindley                   |          Owner:                   
      Type:  bug                        |         Status:  closed           
  Priority:  normal                     |      Milestone:                   
 Component:  Compiler (Type checker)    |        Version:  7.6.1-rc1        
Resolution:  fixed                      |       Keywords:  kind polymorphism
        Os:  Unknown/Multiple           |   Architecture:  Unknown/Multiple 
   Failure:  GHC rejects valid program  |     Difficulty:  Unknown          
  Testcase:  polykinds/T7224            |      Blockedby:                   
  Blocking:                             |        Related:                   
----------------------------------------+-----------------------------------
Changes (by igloo):

  * status:  merge => closed
  * resolution:  => fixed


Comment:

 Merged as c4aa0165bb8eb4b65d8c1299fdff279e1f97bbb4

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