Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Remove unwind #156

Merged
merged 3 commits into from
Jun 11, 2021
Merged

Remove unwind #156

merged 3 commits into from
Jun 11, 2021

Conversation

aheejin
Copy link
Member

@aheejin aheejin commented Jun 3, 2021

It looks people have generally agreed on removing unwind in the MVP
spec, as it overlaps with catch_all in functionality.

Closes #153.

I tried to add all people as reviewers who participated in the relevant
previous discussions and #153. Not sure why these two usernames cannot
be added in the reviewers list: cc @RossTate @ioannad

It looks people have generally agreed on removing `unwind` in the MVP
spec, as it overlaps with `catch_all` in functionality.

Fixes WebAssembly#153.
proposals/exception-handling/Exceptions.md Outdated Show resolved Hide resolved
aheejin and others added 2 commits June 3, 2021 11:59
Co-authored-by: Thomas Lively <7121787+tlively@users.noreply.github.com>
@dschuff
Copy link
Member

dschuff commented Jun 3, 2021

(I've also invited Ross and Ioanna to the WebAssembly Github organization, which should allow them to be listed as reviewers on future PRs, and will also allow auto-completing their usernames 😄)

@ioannad
Copy link
Collaborator

ioannad commented Jun 3, 2021

Thank you for the invitation, @dschuff ! :)

@aheejin, I agree with all current comments in #153.

@aheejin aheejin requested review from RossTate and ioannad June 3, 2021 21:54
Copy link
Contributor

@RossTate RossTate left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Ah, @dschuff, I was wondering why I randomly got an invite. Thanks!

And thanks, @aheejin, for reaching out to me to review! It looks like I don't have much to add though.

@aheejin aheejin mentioned this pull request Jun 7, 2021
ioannad added a commit to ioannad/exception-handling that referenced this pull request Jun 8, 2021
In particular:
- The labels surrounding try-catch and try-delegate now get a standard
  label in the first step, which is then refined to catch-labels and/or
  try-labels per subblock.
  + For that I allowed the new administrative instructions to appear
    nested directly inside a label_n{} in block contexts.
  + Also added a validation rule to the administrative label_n{}.
  + Due to this, all block contexts appear now without a successor
    exponent.
- Updated to latest try-catch syntax described in issue WebAssembly#157.
- Corrected some previously wrong syntax.
- Removed try-unwind (...) as per issue WebAssembly#156
- Updated Exceptions-formal-examples.md similarly.
@aheejin aheejin merged commit f489a73 into WebAssembly:master Jun 11, 2021
@aheejin aheejin deleted the remove_unwind branch June 11, 2021 06:44
pull bot pushed a commit to p-g-krish/v8 that referenced this pull request Jun 14, 2021
Relevant links:
WebAssembly/exception-handling#153
WebAssembly/exception-handling#156

R=clemensb@chromium.org

Bug: v8:8091
Change-Id: I0deeb9665c6648e643d0aa4f310b7676e1c2fa32
Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/2959624
Commit-Queue: Thibaud Michaud <thibaudm@chromium.org>
Reviewed-by: Clemens Backes <clemensb@chromium.org>
Cr-Commit-Position: refs/heads/master@{#75135}
takikawa added a commit to takikawa/wasm-tools that referenced this pull request Jun 14, 2021
takikawa added a commit to takikawa/wasm-tools that referenced this pull request Jun 14, 2021
alexcrichton pushed a commit to bytecodealliance/wasm-tools that referenced this pull request Jun 14, 2021
@aheejin aheejin mentioned this pull request Jun 22, 2021
moz-v2v-gh pushed a commit to mozilla/gecko-dev that referenced this pull request Jun 22, 2021
This instruction was recently removed from the Wasm exception
handling proposal spec:

  WebAssembly/exception-handling#156

Differential Revision: https://phabricator.services.mozilla.com/D118080
ioannad added a commit to ioannad/exception-handling that referenced this pull request Jun 25, 2021
In particular:
- The labels surrounding try-catch and try-delegate now get a standard
  label in the first step, which is then refined to catch-labels and/or
  try-labels per subblock.
  + For that I allowed the new administrative instructions to appear
    nested directly inside a label_n{} in block contexts.
  + Also added a validation rule to the administrative label_n{}.
  + Due to this, all block contexts appear now without a successor
    exponent.
- Updated to latest try-catch syntax described in issue WebAssembly#157.
- Corrected some previously wrong syntax.
- Removed try-unwind (...) as per issue WebAssembly#156
- Updated Exceptions-formal-examples.md similarly.
aheejin added a commit to aheejin/wabt that referenced this pull request Jun 26, 2021
aheejin added a commit to WebAssembly/wabt that referenced this pull request Jun 29, 2021
jamienicol pushed a commit to jamienicol/gecko that referenced this pull request Jul 16, 2021
This instruction was recently removed from the Wasm exception
handling proposal spec:

  WebAssembly/exception-handling#156

Differential Revision: https://phabricator.services.mozilla.com/D118080
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Proposal to remove unwind
7 participants