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

GHC cvs-ghc at haskell.org
Fri Mar 16 15:28:05 CET 2012


#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 <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:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler



More information about the Glasgow-haskell-bugs mailing list