[GHC] #5915: Code using seq has wrong strictness when unoptimised (too strict)

[GHC]

#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 <simonpj at 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