Skip to content

Commit 173de57

Browse files
abrownlukewagner
authored andcommitted
Fix language for thread.spawn_indirect table type
This uses the language suggested [here] to document the table type needed for the `thread.spawn_indirect` canonical builtin. [here]: #447 (comment)
1 parent 18b2ff1 commit 173de57

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

Diff for: design/mvp/CanonicalABI.md

+2-2
Original file line numberDiff line numberDiff line change
@@ -3836,8 +3836,8 @@ validation specifies:
38363836
* `$ft` must refer to a `shared` function type; initially, only the type
38373837
`(shared (func (param $c i32)))` is allowed (see explanation in
38383838
`thread.spawn_ref` above)
3839-
* `$tbl` must refer to a table with type `(table (ref null (shared func))
3840-
shared)`
3839+
* `$tbl` must refer to a shared table whose element type matches `(ref null
3840+
(shared func))`
38413841
* `$spawn_indirect` is given type `(func (param $i i32) (param $c i32) (result
38423842
$e i32))`.
38433843

0 commit comments

Comments
 (0)