[GHC] #8006: Asynchronous exception rethrown synchronously inside runStmt

GHC ghc-devs at haskell.org
Fri Jun 28 12:03:28 CEST 2013


#8006: Asynchronous exception rethrown synchronously inside runStmt
---------------------------------+------------------------------------------
    Reporter:  edsko             |       Owner:                  
        Type:  bug               |      Status:  new             
    Priority:  normal            |   Milestone:                  
   Component:  Compiler          |     Version:  7.6.3           
    Keywords:                    |          Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  |     Failure:  None/Unknown    
  Difficulty:  Unknown           |    Testcase:                  
   Blockedby:                    |    Blocking:                  
     Related:                    |  
---------------------------------+------------------------------------------

Comment(by simonpj):

 Wait... you say "this exception has become the value of a thunk".  Are you
 saying that if a thunk evaluation is interrupted by an asynch exn `e`,
 then the value of the thunk becomes `throw e`?  Surely we should rather
 just freeze evaluation of the thunk so if it is evaluated again we simply
 resume?

 I don't think an asynch exn should ''ever'' become the value of a thunk.
 That makes no sense!

 Simon

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



More information about the ghc-tickets mailing list