• Simon Peyton Jones's avatar
    Refactor pruning of implication constraints · 818e027e
    Simon Peyton Jones authored
    We try to prune solved implication constraints, but it's a
    bit tricky because of our desire to correctly report unused
    'givens'.  This patch improves matters a bit... in tracig some
    other bug I saw lots of empty constraints lying around!
TcSimplify.hs 89.5 KB