#5236: Circular functional dependencies cause loop in typechecker
--------------------------+-------------------------------------------------
Reporter: dimitris | Owner:
Type: bug | Status: closed
Priority: normal | Component: Compiler (Type checker)
Version: 7.0.3 | Resolution: fixed
Keywords: | Testcase: typecheck/should_fail/T5236.hs
Blockedby: | Os: Unknown/Multiple
Blocking: | Architecture: Unknown/Multiple
Failure: None/Unknown |
--------------------------+-------------------------------------------------
Changes (by dimitris):
* status: new => closed
* testcase: => typecheck/should_fail/T5236.hs
* resolution: => fixed
Comment:
OK, I just pushed the fix:
commit 107715b367678d1325a5eecd4a4f13ba6ada3c6c
Author: Dimitrios Vytiniotis <dimit...@microsoft.com>
Date: Wed Jun 8 18:24:21 2011 +0100
Reorganized functional dependency reactions once more:
1) generating Derived FDs as happens for equality superclasses
2) Kept the optimization of immediately discharging items
if fundeps cause a match
3) Restructured top-reactions and interactions with inerts to
behave similarly to each other.
In particular, (1) fixes ticket #5236.
compiler/typecheck/TcCanonical.lhs | 108 +++++++++-------
compiler/typecheck/TcInteract.lhs | 256
++++++++++++++++++++----------------
2 files changed, 204 insertions(+), 160 deletions(-)
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5236#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
