Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : tc-untouchables
http://hackage.haskell.org/trac/ghc/changeset/94291904305fb4885cbbd3b8011d1b8fa4e308b2 >--------------------------------------------------------------- commit 94291904305fb4885cbbd3b8011d1b8fa4e308b2 Author: Simon Peyton Jones <[email protected]> Date: Tue Sep 18 17:39:45 2012 +0100 Make sure that even insoluble constraints are fully substituted The main change is that canEqFailure does substitution: see Note [Make sure that insolubles are fully rewritten] in TcCanonical. However DV and I also found a way to simplify 'flatten' a bit, by passing a CtFlavour instead of CtEvidence. compiler/typecheck/TcCanonical.lhs | 85 ++++++++++++++++++++++------------- compiler/typecheck/TcSimplify.lhs | 7 ++- 2 files changed, 58 insertions(+), 34 deletions(-) Diff suppressed because of size. To see it, use: git show 94291904305fb4885cbbd3b8011d1b8fa4e308b2 _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
