Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master
http://hackage.haskell.org/trac/ghc/changeset/4bc84da3ee16cc7fd3f939b06c2c67195611a963 >--------------------------------------------------------------- commit 4bc84da3ee16cc7fd3f939b06c2c67195611a963 Author: Dimitrios Vytiniotis <[email protected]> Date: Thu Nov 24 18:50:02 2011 +0000 Solved goal caching and zonking optimisations. 1) Stopped rewriting and caching solveds in the inerts because profiling showed that a lot of time was spent on rewriting already solved goals. 2) Optimisations in zonkEvBinds for common-case evidence bindings generated from the constraint solver. 3) Now solved goals cache their evidence terms, so that we can more aggressively optimize Refl coercions during constraint solving. This patch also includes a rewrite of rewriteInertEqsFromInertEq which greatly improves its efficiency. compiler/typecheck/TcCanonical.lhs | 222 ++++++++++++++---------- compiler/typecheck/TcHsSyn.lhs | 44 ++++- compiler/typecheck/TcInteract.lhs | 337 +++++++++++++++++++---------------- compiler/typecheck/TcRnTypes.lhs | 21 ++- compiler/typecheck/TcSMonad.lhs | 72 +++++---- compiler/typecheck/TcSimplify.lhs | 6 +- compiler/types/Coercion.lhs | 1 + 7 files changed, 408 insertions(+), 295 deletions(-) Diff suppressed because of size. To see it, use: git show 4bc84da3ee16cc7fd3f939b06c2c67195611a963 _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
