[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:         
   Component:  Compiler (Type checker)                   |      Version:  6.9    
    Severity:  normal                                    |   Resolution:         
    Keywords:  type families, type equality constraints  |     Testcase:         
Architecture:  Unknown                                   |           Os:  Unknown
---------------------------------------------------------+------------------
Changes (by chak):

  * owner:  => chak
  * component:  Compiler => Compiler (Type checker)

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