#71 exit doesn't execute unwind hander

General
closed-fixed
Shiro Kawai
None
5
2014-04-29
2013-09-29
Shiro Kawai
No

exit does rewind dynamic stack, but what after thunk does is just to adjust error handler chain, not actually executing the error handlers.

In order to allow error handlers to be executed, and avoid "ignore-errors" type guards, we need a special rewinding mode.

Discussion

  • Shiro Kawai
    Shiro Kawai
    2014-04-29

    • status: open --> closed-fixed