#5915: Code using seq has wrong strictness when unoptimised (too strict)
-----------------------------------------+----------------------------------
Reporter: michal.palka | Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler
Version: 7.3 | Keywords: seq strictness
strict lazy
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: Incorrect result at runtime | Testcase:
Blockedby: | Blocking:
Related: |
-----------------------------------------+----------------------------------
Comment(by simonpj@…):
commit 1802ef71cacaa4b37742458dd6e4b7df771f24ba
{{{
Author: Simon Peyton Jones <[email protected]>
Date: Mon Mar 12 09:04:32 2012 +0000
Fix another bug in CorePrep eta-reduction (fixes Trac #5915)
CorePrep has its own eta reducer (for tiresome reasons) and it was
being sloppy about making sure it didn't change termination behaviour.
Thanks to Michal Palka for discovering this.
compiler/coreSyn/CorePrep.lhs | 14 ++++++++------
1 files changed, 8 insertions(+), 6 deletions(-)
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5915#comment:1>
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
