#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 [EMAIL PROTECTED]
* 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_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
