[GHC] #2273: inlining defeats seq

GHC trac at galois.com
Tue May 20 16:27:11 EDT 2008


#2273: inlining defeats seq
----------------------+-----------------------------------------------------
 Reporter:  igloo     |          Owner:  igloo  
     Type:  merge     |         Status:  new    
 Priority:  normal    |      Milestone:         
Component:  Compiler  |        Version:  6.9    
 Severity:  normal    |     Resolution:         
 Keywords:            |     Difficulty:  Unknown
 Testcase:            |   Architecture:  Unknown
       Os:  Unknown   |  
----------------------+-----------------------------------------------------
Comment (by Isaac Dupree):

 are the following equivalent?
 {{{
 a `fseq` \a' -> b `fseq` \b' -> (a',b')
 }}}
 {{{
 b `fseq` \b' -> a `fseq` \a' -> (a',b')
 }}}
 (I guess this is the usual question where the order of strictness doesn't
 matter because "imprecise" exceptions?  but the order might have non-
 obvious performance implications?  It's simpler than `let` because it's
 not mutually/recursive by default...)

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2273#comment:3>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler


More information about the Glasgow-haskell-bugs mailing list