[GHC] #5129: "evaluate" optimized away

GHC cvs-ghc at haskell.org
Tue May 3 10:30:30 CEST 2011


#5129: "evaluate" optimized away
---------------------------------+------------------------------------------
    Reporter:  dons              |        Owner:  simonmar                   
        Type:  bug               |       Status:  new                        
    Priority:  normal            |    Milestone:                             
   Component:  Compiler          |      Version:  7.0.3                      
    Keywords:  seq, evaluate     |     Testcase:                             
   Blockedby:                    |   Difficulty:                             
          Os:  Unknown/Multiple  |     Blocking:                             
Architecture:  Unknown/Multiple  |      Failure:  Incorrect result at runtime
---------------------------------+------------------------------------------
Changes (by simonpj):

  * owner:  => simonmar


Comment:

 Simon and I have just agreed that the right thing is to implement a small
 family of primops:
 {{{
 touchS# :: a -> State# b -> State# b     -- The current touch#
 seqS#   :: a -> State# b -> State# b     -- Used for 'evaluate'
 parS#   :: a -> State# b -> State# b     -- Use for the par monad
 }}}

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



More information about the Glasgow-haskell-bugs mailing list