[GHC] #1781: Type equality class leads to non-termination

[GHC]

#1781: Type equality class leads to non-termination
----------------------------------------+-----------------------------------
    Reporter:  chak                     |        Owner:         
        Type:  bug                      |       Status:  closed 
    Priority:  normal                   |    Milestone:         
   Component:  Compiler (Type checker)  |      Version:  6.9    
    Severity:  normal                   |   Resolution:  fixed  
    Keywords:                           |   Difficulty:  Unknown
          Os:  Unknown                  |     Testcase:  FD1    
Architecture:  Unknown                  |  
----------------------------------------+-----------------------------------
Comment (by simonpj):

 Oh, the fix is this patch:
 {{{
 Sat Oct 27 16:54:59 GMT Daylight Time 2007  simonpj at microsoft.com
   * Make 'improvement' work properly in TcSimplify
 }}}

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