[commit: ghc] master: Introducing: (9591547)

[dimitris at microsoft.com]

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

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/9591547fbbdf12728884e125f8ba08b0e6e69f82

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

commit 9591547fbbdf12728884e125f8ba08b0e6e69f82
Author: Dimitrios Vytiniotis <dimitris at microsoft.com>
Date:   Tue May 17 17:24:50 2011 +0100

    Introducing:
       1) Postponing the application of instances when there
          is a possibility of a given matching. With the addition
          of prioritizing equalities this fixes #5002 and #4981.
    
       2) Implemented caching of flattening in constraint
          simplification. This improves efficiency (fixes #5030)
    
       3) Simplified pushing of unsolved wanteds
          (now pushing only equalities) inside implications.

 compiler/typecheck/Inst.lhs        |    6 +-
 compiler/typecheck/TcCanonical.lhs |   99 +++++++++-------
 compiler/typecheck/TcErrors.lhs    |   74 +++++++++---
 compiler/typecheck/TcInstDcls.lhs  |    5 +-
 compiler/typecheck/TcInteract.lhs  |  226 +++++++++++++++++++++++++++++-------
 compiler/typecheck/TcMType.lhs     |    4 +-
 compiler/typecheck/TcRnTypes.lhs   |   48 ++++----
 compiler/typecheck/TcSMonad.lhs    |  140 ++++++++++++++++++----
 compiler/typecheck/TcSimplify.lhs  |   69 +++++++++--
 9 files changed, 502 insertions(+), 169 deletions(-)


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

    git show 9591547fbbdf12728884e125f8ba08b0e6e69f82