[GHC] #2448: Type equality constraint not propagated to superclass

[GHC]

#2448: Type equality constraint not propagated to superclass
------------------------------------------------------+---------------------
 Reporter:  conal                                     |          Owner:  chak   
     Type:  bug                                       |         Status:  new    
 Priority:  normal                                    |      Milestone:  6.10.1 
Component:  Compiler (Type checker)                   |        Version:  6.9    
 Severity:  normal                                    |     Resolution:         
 Keywords:  type families, type equality constraints  |     Difficulty:  Unknown
 Testcase:                                            |   Architecture:  Unknown
       Os:  Unknown                                   |  
------------------------------------------------------+---------------------
Changes (by igloo):

  * difficulty:  => Unknown
  * milestone:  => 6.10.1

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