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