[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                  |  
----------------------------------------+-----------------------------------
Changes (by simonpj):

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

Comment:

 Thank you for the report.   I've fixed this one -- or at least I have
 restored the same behaviour as 6.6 had for fundeps.  In particular the
 type checker does not loop.

 Arguably this one should pass, because of the type equality, but that's
 not going to happen until we have the full glory of type equalities
 implemented.

 Simon

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