spec

spec copied to clipboard

In section "4 Execution > 4.6 Instructions > 4.6.7 Table Instructions > `table.set`", step 7 of the prose is missing a hyperlink for the `refs` attribute in `z.tables[x].refs[i]`. The problem...

alessiofaieta

I may be misunderstanding the intended exception mechanism in the WebAssembly JS API (WJI) specification, and I’d like to confirm whether my reading is correct. [Section 3 “Notation”](https://webassembly.github.io/spec/js-api/#notation) states that...

ShinWonho

@f52985, in an attempt to make (the rendering of) these helpers a bit more readable, I introduced a trivial indirection through two auxiliary functions. Unfortunately, that completely breaks the interpreter,...

rossberg

I believe the current JS-API spec underspecifies the behavior of `WebAssembly.instantiate(bytes)` when `WebAssembly.Module` has been modified to include a `then` method (making the module a "thenable"). Reproducer: ``` const bytes...

backes

Inconsistencies across multiple pages of instruction lists

3

Hello, I'm beginning to study Wasm as a hobby. I think I've found some editorial bugs. As a first step in learning, I wanted to know what kind of instructions...

tadd

[js-api] Add test case for externref global

1

We should add some basic coverage for externref globals. (We should extend this if https://github.com/WebAssembly/spec/issues/1980 results in adding more allowed types.)

Liedtke

[js-api] Possible alignment of abstract closure conventions with ECMA-262

2

In the JS-API specification, there are a few cases where abstract closures are used. I was wondering if these could follow the same conventions as in ECMA-262 for consistency. *React...

ShinWonho

Update bib references/citation for WASM 3.0

1

WASM 3.0 has not yet been added to the `wasm-specs.bib` file yet :)

Irvise

[test][harness] Add table64 to the JS spectest definitions

2

It's already present in spec interpreter and the lack of it causes some WPT tests to fail.

cqundefine

[js-api] Unclear spec for `-0` in `ToWebAssemblyValue`?

9

The algorithm [ToWebAssemblyValue](https://webassembly.github.io/spec/js-api/#towebassemblyvalue) has the following specification for `i31`: > 7.4. Else if v [is a Number](https://tc39.github.io/ecma262/#sec-ecmascript-language-types-number-type) and v is equal to [?](https://tc39.github.io/ecma262/#sec-returnifabrupt-shorthands) [ToInt32](https://tc39.es/ecma262/multipage/abstract-operations.html#sec-toint32)(v) and [ℝ](https://tc39.github.io/ecma262/#%E2%84%9D)(v) < 2^30 and [ℝ](https://tc39.github.io/ecma262/#%E2%84%9D)(v)...

Liedtke