Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-constraint-solver
http://hackage.haskell.org/trac/ghc/changeset/1d0ad7b8a59cfeca9f5df7f58726607bfd2e920f >--------------------------------------------------------------- commit 1d0ad7b8a59cfeca9f5df7f58726607bfd2e920f Author: Dimitrios Vytiniotis <[email protected]> Date: Tue Nov 15 12:09:36 2011 +0000 Replacing CCanMap for family equations with new TypeMap. Also, we now use this typemap during canonicalization, pretty much as we already use the inert equalities to rewrite while canonicalizing. This does greatly improve performance as we save one cycle of throwing a workitem back in the worklist. compiler/typecheck/TcCanonical.lhs | 161 +++++++++---------------- compiler/typecheck/TcInteract.lhs | 105 ++++++++++++++-- compiler/typecheck/TcSMonad.lhs | 234 +++++++++++++++--------------------- 3 files changed, 247 insertions(+), 253 deletions(-) Diff suppressed because of size. To see it, use: git show 1d0ad7b8a59cfeca9f5df7f58726607bfd2e920f _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
