[GHC] #2944: Mutually recursive equality constraints

[GHC]

#2944: Mutually recursive equality constraints
----------------------------------------+-----------------------------------
    Reporter:  MartijnVanSteenbergen    |        Owner:  igloo  
        Type:  merge                    |       Status:  new    
    Priority:  normal                   |    Milestone:         
   Component:  Compiler (Type checker)  |      Version:  6.10.1 
    Severity:  normal                   |   Resolution:         
    Keywords:                           |   Difficulty:  Unknown
    Testcase:                           |           Os:  MacOS X
Architecture:  x86                      |  
----------------------------------------+-----------------------------------
Changes (by simonpj):

  * owner:  => igloo
  * difficulty:  => Unknown
  * type:  bug => merge

Comment:

 I agree:
 {{{
 Tue Jan 13 16:27:16 GMT 2009  simonpj at microsoft.com
   * Make -XTypeFamilies imply -XRelaxedPolyRec (Trac #2944)
 }}}
 It's moot whether we should merge this, but on balance, yes.

 Simon

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