-
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!
818e027e