Mon Feb 21 07:32:39 PST 2011 [email protected]
* 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.
M ./compiler/typecheck/TcCanonical.lhs -24 +24
M ./compiler/typecheck/TcInteract.lhs -136 +173
M ./compiler/typecheck/TcMType.lhs -5 +2
M ./compiler/typecheck/TcSMonad.lhs -14 +10
M ./compiler/typecheck/TcSimplify.lhs -1 +1
M ./compiler/typecheck/TcUnify.lhs -1 +1
View patch online:
http://darcs.haskell.org/cgi-bin/darcsweb.cgi?r=ghc;a=darcs_commitdiff;h=20110221153239-1287e-a4b0f915e2996e03b7fcf02c5913e0028ea58c58.gz
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
