• simonpj@microsoft.com's avatar
    More refactoring of constraint simplification · 2423c249
    simonpj@microsoft.com authored
    This patch fixes several bugs in the handling of impliciation
    constraints, thereby fixing several regression-suite failures.
    
    On the way I managed to further simplify the code in TcSimplify;
    the extra lines are comments.
    2423c249
TcSimplify.lhs 89.3 KB