Clarify delegate targetting function-level block #177
Conversation
This clarifies that `delegate` can target the function-level block, which means the exception is thrown to the caller. Also added a few more examples. AFAIK this is consistent with the current implementations in the toolchain, V8, and Spidermonkey. Fixes WebAssembly#176.
| If `delegate`'s immediate argument is the depth of block-like structures | ||
| (blocks, loops, and trys) + 1, i.e., the function-level block, it is considered |
There was a problem hiding this comment.
I don't understand what you mean by: "the depth of block-like structures (...) + 1" and how this is related to the function-level block case. Or did you mean that in this case the depth is not a block-like structure?
There was a problem hiding this comment.
I understand what you meant now. What do you think about this phrasing: "the depth of the outermost block + 1, i.e. the function-level block (...)"
There was a problem hiding this comment.
Done. Also added that it will be considered as a catchless try.
| try $l1 | ||
| try | ||
| call $foo | ||
| delegate 1 ;; delegate to the caller | ||
| catch | ||
| ... | ||
| catch_all | ||
| ... | ||
| end |
There was a problem hiding this comment.
To make the example complete I think it should be wrapped in a function, otherwise it is ambiguous what the outer scope is.
|
Closing this because we have decided to change the spec for |
This clarifies that
delegatecan target the function-level block,which means the exception is thrown to the caller. Also added a few more
examples.
AFAIK this is consistent with the current implementations in the
toolchain, V8, and Spidermonkey.
Fixes #176.