#5363: optimized profiled version of a program incorectly compiles $!
-------------------------------------------------+--------------------------
Reporter: phercek | Owner:
Type: bug | Status: new
Priority: normal | Milestone: 7.4.1
Component: Profiling | Version: 7.0.3
Keywords: optimization profiling stricness | Testcase:
Blockedby: | Difficulty:
Os: Linux | Blocking:
Architecture: x86_64 (amd64) | Failure: Incorrect
result at runtime
-------------------------------------------------+--------------------------
Changes (by simonmar):
* component: Compiler => Profiling
* milestone: => 7.4.1
Comment:
It looks like the simplifier has left behind behind the unboxing and
reboxing created by the worker-wrapper transformation, and as a result
accumulate is no longer tail-recursive, which explains the stack overflow.
Presumably the problem is that the `scc` annotation got in the way.
I think we should defer this for now (along with lots of other profiling
tickets) until we have time to do a thorough overhaul of profiling. The
first step would be to figure out the desired semantics of Core with
`scc`, so that we know how to do optimisation in its presence.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5363#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
