diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-07-14 13:18:34 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-07-14 13:18:34 +0100 |
| commit | c1f01e351759e7c25818b05e32bdb7b702dac6f2 (patch) | |
| tree | 3f346c82053a96121a3e5822083512bfd645be89 /compiler/deSugar/Match.lhs | |
| parent | 777cda76784241545023a66fcfcf54c0e6ff1d4f (diff) | |
| download | haskell-c1f01e351759e7c25818b05e32bdb7b702dac6f2.tar.gz | |
Do not discard insoluble constraints in simplifyInfer
Before -fdefer-type-errors there we no insolubles
(because we'd have failed before then), but with -fdefer-type-errors
there can be. The code is acutally a bit simpler: we just call
emitConstraints, and eliminate the bogus-looking emitWC from TcRnMonad.
There's a bit more tidying up to do, concerning the places we use
keepWanted, but I need to talk to Dimitrios about that.
Meanwhile this fixes Trac #7023
Diffstat (limited to 'compiler/deSugar/Match.lhs')
0 files changed, 0 insertions, 0 deletions