patch applied (ghc): New plan: push unsolved wanteds inwards

Fri Feb 11 18:41:39 CET 2011

Fri Feb 11 09:40:58 PST 2011  simonpj at microsoft.com
  * New plan: push unsolved wanteds inwards

  This fixes Trac #4935.  See Note [Preparing inert set for implications].
  Lots of comments, but not a lot of code is changed!

    M ./compiler/typecheck/TcCanonical.lhs -17 +19
    M ./compiler/typecheck/TcSimplify.lhs -37 +77

View patch online:
http://darcs.haskell.org/cgi-bin/darcsweb.cgi?r=ghc;a=darcs_commitdiff;h=20110211174058-1287e-2777445b1573650819b5488456b7f6e38c563e70.gz