#7023: Panic when compiling with -fdefer-type-errors
---------------------------------+------------------------------------------
Reporter: guest | Owner: simonpj
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.5
Keywords: | Os: MacOS X
Architecture: Unknown/Multiple | Failure: Compile-time crash
Difficulty: Unknown | Testcase:
Blockedby: | Blocking:
Related: |
---------------------------------+------------------------------------------
Comment(by simonpj@…):
commit c1f01e351759e7c25818b05e32bdb7b702dac6f2
{{{
Author: Simon Peyton Jones <[email protected]>
Date: Sat Jul 14 13:18:34 2012 +0100
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
compiler/typecheck/TcRnMonad.lhs | 5 -----
compiler/typecheck/TcSimplify.lhs | 7 ++++---
2 files changed, 4 insertions(+), 8 deletions(-)
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7023#comment:4>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
