[GHC] #2157: Equality Constraints with Type Families

[GHC]

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

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

Comment:

 I fixed the checking of rhss of type family instances.  Otherwise, I don't
 think there is anything that we can do about this; hence, I close the
 ticket.

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