[commit: ghc] master: A few more constraint solver improvements (815dcff)

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

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/815dcff13084fa5ffb43d743d08bb4f021ae2753

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

commit 815dcff13084fa5ffb43d743d08bb4f021ae2753
Author: Simon Peyton Jones <[email protected]>
Date:   Tue Oct 2 09:23:47 2012 +0100

    A few more constraint solver improvements
    
    * Get rid of the lookupInInerts stage
    
    * Re-introduce the flat-cache for flattening type-family equations
      See Note [Type family equations] in TcSMonad. My previous clever attempt
      with organising the work list proved too fragile.
    
      There's a (static) flag -fno-flat-cache to switch if off,
      so you can try with and without
    
    * Improve the -ddump-cs-trace output
    
    * The usual round of refactoring

 compiler/main/StaticFlagParser.hs  |    1 +
 compiler/main/StaticFlags.hs       |    4 +
 compiler/typecheck/TcCanonical.lhs |   52 +++-------
 compiler/typecheck/TcInteract.lhs  |   96 ++++++++----------
 compiler/typecheck/TcSMonad.lhs    |  195 ++++++++++++++++++++++++------------
 5 files changed, 198 insertions(+), 150 deletions(-)


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

    git show 815dcff13084fa5ffb43d743d08bb4f021ae2753