#2401: unsafeIOToSTM discards exception handlers.
----------------------------+-----------------------------------------------
 Reporter:  sclv            |          Owner:         
     Type:  bug             |         Status:  closed 
 Priority:  normal          |      Milestone:  6.10.1 
Component:  Runtime System  |        Version:  6.8.3  
 Severity:  normal          |     Resolution:  wontfix
 Keywords:                  |     Difficulty:  Unknown
 Testcase:                  |   Architecture:  Unknown
       Os:  Unknown         |  
----------------------------+-----------------------------------------------
Comment (by sclv):

 It also occurs to me that there's an easier general solution that throwing
 retry as a real exception -- a flag could be introduced somewhat like
 block, except called, e.g., blockRetry, of type STM a -> STM a. Semantics
 would generally be the same as with block. blockRetry could wrap every
 call to unsafeIOToSTM, for example, and might prove useful elsewhere in
 user-generated code.

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2401#comment:6>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Reply via email to