#5363: optimized profiled version of a program incorectly compiles $!
-------------------------------------------------+--------------------------
Reporter: phercek | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.0.3
Keywords: optimization profiling stricness | Testcase:
Blockedby: | Difficulty:
Os: Linux | Blocking:
Architecture: x86_64 (amd64) | Failure: Incorrect
result at runtime
-------------------------------------------------+--------------------------
Comment(by phercek):
Not much. It confused me quite a bit so I reported it. This is the first
time ghc given me wrong result. I'll just take care not to add -O when
profiling. Well, that is if there is not a similar bug for some other
programs which would change asymptotic behavior even when optimizations
are not used. I did not see such a bug yet. That would defeat the goal of
profiling. I profile to solve space/time problems. I often solve these by
changing strictness explicitly. If profiling ignored explicit strictness
specifications then it would be kind of useless.
So I think fixing this can be postponed till a similar bug is not found
which would not depend on -O flag too.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5363#comment:3>
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
