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 _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
