• simonpj@microsoft.com's avatar
    Retain simplifications of implication constraints · 5adfdfb2
    simonpj@microsoft.com authored
    When simplifying an implication constraint (reduceImplication), if we make
    progress, make a new implication constraint for the result.  If we don't
    do this, we get a constraint that can be simplified in a unique way,
    and that in turn confuses reportNoInstance
    5adfdfb2
TcSimplify.lhs 88.9 KB