wasmfx / specfx

WebAssembly specification, reference interpreter, and test suite.
https://webassembly.github.io/spec/
Other
7 stars 2 forks source link

Fix `table.set` for continuation tables #41

Closed dhil closed 4 months ago

dhil commented 4 months ago

This patch fixes the failing type check that would sometimes occur when storing a continuation reference in a table. The solution: remove the type check. We cannot recover the type of a continuation reference without tracing block types in the interpreter.

Resolves #40.