-
Simon Peyton Jones authored
This has to be done by the full constraint solver anyway, and it's rare, so there's really no point in doing it twice. This change just deletes some (tricky) code.
0f5c1637
This has to be done by the full constraint solver anyway, and it's rare, so there's really no point in doing it twice. This change just deletes some (tricky) code.