Supporting more recent wasm spec versions

Question

Supporting more recent wasm spec versions

TD5 opened this issue 4 years ago · 7 comments

Hi!

I am enjoying experimenting with haskell-wasm, so thanks for your hard work! 👍

Going by things such as the lexemes used, e.g. get_global vs. global.get and the commit history, the implementation here seems to be up to date with the spec as of about the end of 2018, I think.

I am interested to know what the authors/contributors see the state of this project as, what plans any of they have for keeping this library up to date with the spec, how they'd like to engage with others who'd perhaps be willing to make that happen. I am not promising anything, just trying to test the waters.

Thanks 🙂

Answer 1 · 2020-08-24T14:50:31.000Z

For reference, here's the example change being applied in the wasm spec repo: WebAssembly/spec@994591e#diff-ea98b1ae7a5f7af0382b1b0ec2e813fd

Answer 2 · 2020-09-13T13:59:29.000Z

Also the spec 1.1 now contains multiple-value return functions and control structures.

Answer 3 · 2020-09-18T23:26:57.000Z

Hi, @TD5

Sorry for delayed response. I'm going to invest some time to rebuild testing infrastructure first to bring actual tests from core repo.
After I'm going to bring multi-value returns and fix other discrepancies with reference compiler.
So stay tuned and you are welcome to join :)

Answer 4 · 2021-02-26T12:34:03.000Z

Hi @SPY,
just wanted to ask if there is some progress in getting in sync with the wasm spec? I would especially be interested in the parser supporting the current spec.

Answer 5 · 2021-03-03T05:50:12.000Z

Hi @brandlk
Please follow update-tests branch. I linked the official testsuit as a submodule and going to fix parsing first.
Then I'm going to support new features passed standardisation.

Answer 6 · 2021-04-20T02:32:24.000Z

I've updated tests to fairly fresh state and implemented multi-value, mutable globals, non-trapping float operations and sign extension operator proposals.
While I was working on them, two more proposals(reference types and bulk memory operations) were accepted to the standard. So I'm going to implement them as well, but I cannot promise anything about timings.

Answer 7 · 2023-05-16T09:57:58.000Z

The WASM 2.0 spec was announced since this discussion. The changelog between version 1 and version 2 can be found here - https://www.w3.org/TR/wasm-core-2/appendix/changes.html This might be useful for someone interested in picking this up.