Thu Dec 9 06:12:15 PST 2010 [email protected]
* Moved canonicalisation inside solveInteract
Moreover canonicalisation now is "clever", i.e. it never canonicalizes a
class
constraint if it can already discharge it from some other inert or previously
encountered constraints. See Note [Avoiding the superclass explosion]
M! ./compiler/typecheck/TcInteract.lhs -3 +56
M! ./compiler/typecheck/TcSMonad.lhs -2 +3
M! ./compiler/typecheck/TcSimplify.lhs -38 +39
View patch online:
http://darcs.haskell.org/cgi-bin/darcsweb.cgi?r=ghc-7.0/ghc;a=darcs_commitdiff;h=20101209141215-da291-2addd3f573aa840e80f8c433ddc418f7fe4ce186.gz
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
