[commit: ghc] tc-untouchables: Make sure that even insoluble constraints are fully substituted (9429190)

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