Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master
http://hackage.haskell.org/trac/ghc/changeset/9591547fbbdf12728884e125f8ba08b0e6e69f82 >--------------------------------------------------------------- commit 9591547fbbdf12728884e125f8ba08b0e6e69f82 Author: Dimitrios Vytiniotis <[email protected]> Date: Tue May 17 17:24:50 2011 +0100 Introducing: 1) Postponing the application of instances when there is a possibility of a given matching. With the addition of prioritizing equalities this fixes #5002 and #4981. 2) Implemented caching of flattening in constraint simplification. This improves efficiency (fixes #5030) 3) Simplified pushing of unsolved wanteds (now pushing only equalities) inside implications. compiler/typecheck/Inst.lhs | 6 +- compiler/typecheck/TcCanonical.lhs | 99 +++++++++------- compiler/typecheck/TcErrors.lhs | 74 +++++++++--- compiler/typecheck/TcInstDcls.lhs | 5 +- compiler/typecheck/TcInteract.lhs | 226 +++++++++++++++++++++++++++++------- compiler/typecheck/TcMType.lhs | 4 +- compiler/typecheck/TcRnTypes.lhs | 48 ++++---- compiler/typecheck/TcSMonad.lhs | 140 ++++++++++++++++++---- compiler/typecheck/TcSimplify.lhs | 69 +++++++++-- 9 files changed, 502 insertions(+), 169 deletions(-) Diff suppressed because of size. To see it, use: git show 9591547fbbdf12728884e125f8ba08b0e6e69f82 _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
