[GHC] #2157: Equality Constraints with Type Families

[GHC]

#2157: Equality Constraints with Type Families
----------------------------------------+-----------------------------------
    Reporter:  hpacheco                 |        Owner:  chak    
        Type:  feature request          |       Status:  new     
    Priority:  normal                   |    Milestone:          
   Component:  Compiler (Type checker)  |      Version:  6.9     
    Severity:  normal                   |   Resolution:          
    Keywords:                           |     Testcase:          
Architecture:  Multiple                 |           Os:  Multiple
----------------------------------------+-----------------------------------
Comment (by chak):

 See also the clarification in [http://www.haskell.org/pipermail/haskell-
 cafe/2008-March/040983.html]

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