Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch :
http://hackage.haskell.org/trac/ghc/changeset/d1796b5266121ff6930d6cabba6201e48708703b >--------------------------------------------------------------- commit d1796b5266121ff6930d6cabba6201e48708703b Author: [email protected] <unknown> Date: Mon Feb 21 15:32:39 2011 +0000 Fix another fundep error (fixes Trac #4969) If I had a pound for every hour Dimitrios and I have spent making functional dependencies work right, we'd be rich! We had stupidly caused a 'wanted' to be rewritten by a 'derived', with resulting abject failure. As well as fixing the bug, this patch refactors some more, adds useful assert and comments. compiler/typecheck/TcCanonical.lhs | 48 +++--- compiler/typecheck/TcInteract.lhs | 311 ++++++++++++++++++++---------------- compiler/typecheck/TcMType.lhs | 7 +- compiler/typecheck/TcSMonad.lhs | 24 ++-- compiler/typecheck/TcSimplify.lhs | 2 +- compiler/typecheck/TcUnify.lhs | 2 +- 6 files changed, 212 insertions(+), 182 deletions(-) Diff suppressed because of size. To see it, use: git show d1796b5266121ff6930d6cabba6201e48708703b _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
