Recover after an error in an implication constraint
authorsimonpj@microsoft.com <unknown>
Tue, 19 Oct 2010 09:02:02 +0000 (09:02 +0000)
committersimonpj@microsoft.com <unknown>
Tue, 19 Oct 2010 09:02:02 +0000 (09:02 +0000)
commit51462af9d4af9e16b29da1530929e802c0d846e2
treef87998008a4407017961b61c5be3c77365f48b63
parent723365de1b9ab1b8a8cf59a936624891d075e554
Recover after an error in an implication constraint
compiler/typecheck/TcSMonad.lhs
compiler/typecheck/TcSimplify.lhs