search

wasmfx / specfx

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

Merge with function-references #7

Closed dhil closed 1 year ago

dhil commented 1 year ago

This PR merges in the latest changes from function-references.

A key change is that type variables / indices have been replaced by deep type substitution. This change affects cont and tag types. I am not sure how to best deal with this change. The current implementation is broken, because the binary encoder has no way of recovering the original type index on a tag.

dhil commented 1 year ago

Thanks! There was one other minor bug in the encoding of tags: I forgot to emit the leading zero byte. The test suite passes on my machine now.