More refactoring of constraint simplification
authorsimonpj@microsoft.com <unknown>
Mon, 11 Dec 2006 16:07:32 +0000 (16:07 +0000)
committersimonpj@microsoft.com <unknown>
Mon, 11 Dec 2006 16:07:32 +0000 (16:07 +0000)
commit2423c249f5ca7785d0ec89eb33e72662da7561c1
tree32667b52408568ffef86e13588f64d2226180a38
parent85de95cd55d5dcda29630b665b50c7575df6dddd
More refactoring of constraint simplification

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.
compiler/typecheck/TcBinds.lhs
compiler/typecheck/TcMType.lhs
compiler/typecheck/TcRnTypes.lhs
compiler/typecheck/TcRules.lhs
compiler/typecheck/TcSimplify.lhs
compiler/typecheck/TcType.lhs