#4237: -dcore-lint error after simplifier iteration 1 when profiling
-------------------------------------------------+--------------------------
Reporter: wkahl | Owner:
Type: bug | Status: infoneeded
Priority: high | Milestone: 6.14.1
Component: Compiler | Version: 6.12.3
Keywords: profiling, simplifier, core-lint | Testcase:
Blockedby: 4172, 4186 | Difficulty:
Os: Linux | Blocking:
Architecture: x86_64 (amd64) | Failure: Compile-time
crash
-------------------------------------------------+--------------------------
Changes (by simonpj):
* status: new => infoneeded
Comment:
I believe that this patch will cure the problem.
{{{
Fri Aug 13 17:31:20 BST 2010 [email protected]
* Modify FloatOut to fix Trac #4237
The problem was that a strict binding was getting floated
out into a letrec. This only happened when profiling was
on. It exposed a fragility in the floating strategy. This
patch makes it more robust. See
Note [Avoiding unnecessary floating]
}}}
Or, just using the HEAD (after today) should do it.
Can you try it out? It'll be in 6.14.
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4237#comment:2>
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
