#5915: Code using seq has wrong strictness when unoptimised (too strict)
------------------------------------------+---------------------------------
Reporter: michal.palka | Owner:
Type: bug | Status: closed
Priority: normal | Milestone:
Component: Compiler | Version: 7.3
Resolution: fixed | Keywords: seq strictness
strict lazy
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: Incorrect result at runtime | Difficulty: Unknown
Testcase: simplCore/should_run/T5915 | Blockedby:
Blocking: | Related:
------------------------------------------+---------------------------------
Comment(by simonpj@…):
commit 0741ca5c410ecf6d21796a0887213673a3ebc373
{{{
Author: Simon Peyton Jones <simo...@microsoft.com>
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:3>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
