[commit: ghc] : New plan: push unsolved wanteds inwards (72c40bc)

[Simon Marlow]

Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : 

http://hackage.haskell.org/trac/ghc/changeset/72c40bc5f2d193ebd89471f6e1f2a36b81042304

>---------------------------------------------------------------

commit 72c40bc5f2d193ebd89471f6e1f2a36b81042304
Author: simonpj at microsoft.com <unknown>
Date:   Fri Feb 11 17:40:58 2011 +0000

    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!

 compiler/typecheck/TcCanonical.lhs |   36 ++++++-----
 compiler/typecheck/TcSimplify.lhs  |  116 ++++++++++++++++++++++++------------
 2 files changed, 97 insertions(+), 55 deletions(-)


Diff suppressed because of size. To see it, use:

    git show 72c40bc5f2d193ebd89471f6e1f2a36b81042304