Ioanna M Dimitriou H comments

Results 20 comments of


                                            Ioanna M Dimitriou H

[js-api] Add stack trace support and preserve identity of JS exception values passing through WebAssembly.

> The current formal reduction rule for `rethrow` in the core spec is: > > ``` > caught{a val*} B^l[rethrow l] end > ↪ caught{a val*} B^l[val* (throw a)] end...

Plan for Phase 4

@rossberg I just made PR #180 with the current stand of the spec document implementing the formal-overview #143, but without try-labels or relevant restrictions to `try-delegate`. I will look at...

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

@aheejin is the example clear enough now or do you think it's better to use the concrete values, so `(i32.const 1)` instead of `val_{i32}` etc?

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

@rossberg incidentally, this also addresses your [previous comment](https://github.com/WebAssembly/exception-handling/pull/180#discussion_r955919370) about using "let ... be .. ".

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

All review comments should be addressed now, pending for approval.

WIP: Add prose for reduction rule of rethrow.

> We extended labels to include an optional `catch` in validation: > > ``` > label := catch'? resulttype > ``` > > Is this not used in execution semantics?...

Add prose for typing rule of try-delegate.

This should be now ready for merging, pending approval.

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

@aheejin Switched `n` with `m` and the ordering of the steps as suggested in your comments.

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

@aheejin I also switched `a` to `a_x` in the formal rule. For the other review comments see my replies, as I am not sure atm how to rephrase those parts.

[js-api] Integrate with the ResizableArrayBuffer proposal

@Ms2ger does the [last commit](https://github.com/WebAssembly/spec/pull/1300/commits/31964d4e1a052729741126eae013b2058a569d0e) address your review comment?