Ioanna M Dimitriou H

[Currently](https://github.com/WebAssembly/exception-handling/blob/main/proposals/exception-handling/Exceptions-formal-overview.md) `(try ... delegate l)` reduces to `(label_n{} ( delegate{l} ... end ) end)`, so by putting a label outside (i.e., before) the administrative `delegate{l}`. An idea proposed in past...

Modified the throw context example with concrete types but not concrete values.

3

Addresses @aheejin's request in a previous review comment: https://github.com/WebAssembly/exception-handling/pull/180#discussion_r955477590 Originally I wrote this using - `val_{i32} = (i32.const 1)`, - `val_{f32} = (f32.const 2.0)`, and - `val_{i64} = (i64.const 3)`,...

This addresses additional review comments to PR #222, that were made after it was merged. The last review comment in the discussion suggests to adjust all validation labels to use...

Add prose for reduction rule of try-catch-catch_all.

2

Fixes related .. todo:: section.

that were made after that PR was merged. In particular the following three comments are addressed, about the prose to the "Exiting a catch clause |CAUGHTADM|". - https://github.com/WebAssembly/exception-handling/pull/227#discussion_r972821416 - https://github.com/WebAssembly/exception-handling/pull/227#discussion_r972822217...

Add prose for reduction rules involving thrown exceptions,

1

i.e., prose for some execution steps for `THROWadm`, `CATCHadm`, `DELEGATEadm`. The parts of this commit that involve `DELEGATEadm` may change once PR #220 is settled. Nonetheless, in this commit the...

Add prose for typing rule of try-delegate.

1

Also slightly adjusted notation to match the formal overview. Why WIP: The prose is finished, but while trying to add explanatory notes, I couldn't find a reference in the spec...

WIP: Add prose for reduction rule of rethrow.

1

Why WIP: -------- I'm not sure how to justify step 5 of the prose, that is how to assert that the lth label surrounding a rethrow instruction has a CAUGHTadm{a...

Also switched to the current version of the formal rule, based on the formal overview document.

Implements normative changes for closing async-from-sync iterators

1

as per ecma262 PR2600: https://github.com/tc39/ecma262/pull/2600