#3590: panic (the impossible happened) when compiling with -O2
---------------------------------------------------+------------------------
Reporter: yairchu | Owner: igloo
Type: merge | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 6.10.4
Severity: normal | Resolution:
Keywords: | Difficulty: Unknown
Testcase: indexed-types/should_compile/T3590 | Os: MacOS X
Architecture: x86 |
---------------------------------------------------+------------------------
Changes (by simonpj):
* testcase: => indexed-types/should_compile/T3590
* owner: => igloo
* type: bug => merge
Comment:
Here's the patch
{{{
Tue Oct 20 08:55:40 PDT 2009 [email protected]
* Fix Trac #3590: a nasty type-checker bug in left/right sections
Ignore-this: ae831f2a7fe8416e2c549df7616f7139
The bug related to the fact that boxyUnify (now) returns a coercion,
which was simply being ignored. (TcExpr is clearly not warning-free
wrt the unused-monadic-bind thing!)
Anyway, it's fine now. I added a test case to the test suite.
MERGE to 6.12 please.
M ./compiler/typecheck/TcExpr.lhs -21 +26
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3590#comment:5>
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
