[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:  closed          
 Priority:  normal                                    |      Milestone:  6.10.1          
Component:  Compiler (Type checker)                   |        Version:  6.9             
 Severity:  normal                                    |     Resolution:  fixed           
 Keywords:  type families, type equality constraints  |     Difficulty:  Unknown         
 Testcase:  T2448                                     |   Architecture:  Unknown/Multiple
       Os:  Unknown/Multiple                          |  
------------------------------------------------------+---------------------
Changes (by chak):

  * testcase:  => T2448
  * status:  new => closed
  * resolution:  => fixed

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