Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master
http://hackage.haskell.org/trac/ghc/changeset/f3183d9a9c1d738da31b094c3baad2b885780592 >--------------------------------------------------------------- commit f3183d9a9c1d738da31b094c3baad2b885780592 Author: Dimitrios Vytiniotis <[email protected]> Date: Tue Nov 22 17:16:05 2011 +0000 This patch includes: 0) Typo in panic message. 1) prioritization of equalities over family equalities in the worklists. 2) rewriting of inert substitutions and solveds on-the-spot instead of kicking them out in the inerts. This required a monadic map over substitutions hence the modifications in UniqFM. 3) Just comments and removing stale commented code. 4) Useful SCC for simplifyInfer. 5) Making CoreStats outputable. compiler/coreSyn/CoreUtils.lhs | 7 ++ compiler/deSugar/Desugar.lhs | 8 +-- compiler/typecheck/TcCanonical.lhs | 8 ++- compiler/typecheck/TcInteract.lhs | 119 +++++++++++++++++++++--------------- compiler/typecheck/TcRnDriver.lhs | 1 + compiler/typecheck/TcRnMonad.lhs | 2 +- compiler/typecheck/TcSMonad.lhs | 78 ++++++++++++++++-------- compiler/utils/UniqFM.lhs | 13 +++- 8 files changed, 148 insertions(+), 88 deletions(-) Diff suppressed because of size. To see it, use: git show f3183d9a9c1d738da31b094c3baad2b885780592 _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
