patch applied (ghc): Moved canonicalisation inside solveInteract

Mon Dec 13 18:16:02 CET 2010

Thu Dec  9 06:12:15 PST 2010  dimitris at microsoft.com
  * 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 -43 +43

View patch online:
http://darcs.haskell.org/cgi-bin/darcsweb.cgi?r=ghc;a=darcs_commitdiff;h=20101209141215-da291-2addd3f573aa840e80f8c433ddc418f7fe4ce186.gz