[commit: ghc] tc-untouchables: Moved solving of type families to zonkWC and a few simplifications (633dd55)

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

On branch  : tc-untouchables

http://hackage.haskell.org/trac/ghc/changeset/633dd5589f8625a8771ac75c5341ea225301d882

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

commit 633dd5589f8625a8771ac75c5341ea225301d882
Author: Dimitrios.Vytiniotis <[email protected]>
Date:   Thu Sep 6 11:45:07 2012 +0100

    Moved solving of type families to zonkWC and a few simplifications
    in TcSimplify. Now unflattening does not happen recursively inside
    solveWanteds which should be a good performance win.

 compiler/typecheck/TcErrors.lhs   |   22 +++--
 compiler/typecheck/TcInteract.lhs |    6 +-
 compiler/typecheck/TcMType.lhs    |  106 ++++++++++++++++++++---
 compiler/typecheck/TcSimplify.lhs |  172 +++++++++++-------------------------
 4 files changed, 163 insertions(+), 143 deletions(-)


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

    git show 633dd5589f8625a8771ac75c5341ea225301d882