Fix Trac #2045: use big-tuple machiney for implication constraints
authorsimonpj@microsoft.com <unknown>
Thu, 5 Jun 2008 14:56:17 +0000 (14:56 +0000)
committersimonpj@microsoft.com <unknown>
Thu, 5 Jun 2008 14:56:17 +0000 (14:56 +0000)
commit4edf8929c0007b6626c32e382a337afc2c8a75ab
tree873581f3761ffa4aeabf3d9c4f1e1b53487a393c
parent9aa2708bf96c82e255fd3c9cb0a07af2cceb296b
Fix Trac #2045: use big-tuple machiney for implication constraints
compiler/deSugar/DsUtils.lhs
compiler/typecheck/TcSimplify.lhs