Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master
http://hackage.haskell.org/trac/ghc/changeset/2d8374a8fbc34bbb44f9c73d0131f3071869f110 >--------------------------------------------------------------- commit 2d8374a8fbc34bbb44f9c73d0131f3071869f110 Author: Dimitrios.Vytiniotis <[email protected]> Date: Tue Apr 10 02:11:25 2012 +0100 Updates to the constraint solver to be able to handle implication constraint generation during solveInteractCts, needed for polytype equality decomposition. More commentary to follow. compiler/typecheck/TcCanonical.lhs | 163 +++++++++++++++++++++--------------- compiler/typecheck/TcInteract.lhs | 21 ++++-- compiler/typecheck/TcRnTypes.lhs | 13 ++- compiler/typecheck/TcSMonad.lhs | 88 +++++++++++++++++++- compiler/typecheck/TcSimplify.lhs | 28 ++++-- 5 files changed, 223 insertions(+), 90 deletions(-) Diff suppressed because of size. To see it, use: git show 2d8374a8fbc34bbb44f9c73d0131f3071869f110 _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
