#2558: re-throwing an asynchronous exception throws it synchronously
---------------------------------+------------------------------------------
    Reporter:  simonmar          |        Owner:  simonmar        
        Type:  bug               |       Status:  new             
    Priority:  normal            |    Milestone:  6.12 branch     
   Component:  Compiler          |      Version:  6.8.3           
    Severity:  normal            |   Resolution:                  
    Keywords:                    |   Difficulty:  Unknown         
    Testcase:                    |           Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  |  
---------------------------------+------------------------------------------
Comment (by igloo):

 So if an exception handler (for an asynchronous exception) divides by
 zero, that would be an asynchronous exception, right? Is that what we
 want?

 As an alternative, should we actually be throwing
 {{{
 data SomeExceptionSync = SomeExceptionSync Bool -- synchronous?
                                            SomeException
 }}}
 with `catch` etc ignoring the `Bool`, but `bracket` etc handling it
 appropriately? This would also mean that tail-calling out of an exception
 handler would work.

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2558#comment:4>
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