Daniel Hillerström (Jun 15 2022 at 15:08): Daniel Hillerström (Jun 15 2022 at 15:08):What's the implementation status of the function references proposal in wasm-tools & wasmtime? To me it seems to be implemented already behind the flag reference-types. Is there any left to be done implementation-wise?
Alex Crichton (Jun 15 2022 at 15:35):The reference-types feature in Wasmtime is fully implemented but it only has the funcref type as opposed to typed function references. It also only encompasses the reference-types proposal for wasm which I don't think has instructions like call_ref, it's only loads/stores from tables with funcref
Alex Crichton (Jun 15 2022 at 15:38):glancing at the function references proposal I don't believe any of that is implemented in wasmtime, and some bits and pieces may be implemented in wasm-tools but only for the gc feature if so
Daniel Hillerström (Jun 15 2022 at 15:43):Thanks Alex. I see, so the typing aspect of references is missing and the new instructions (admittedly I had only looked at the syntax&static semantics so far). It seems the let-form has not been implemented in the tools either.
Alex Crichton (Jun 15 2022 at 15:44):ah yeah let definitely isn't implemented in Wasmtime and I don't recall it in wasm-tools either
fitzgen (he/him) (Jun 15 2022 at 15:57):fwiw, there is a lot of ongoing discussion about let and I'm not sure whether it is actually going to be part of the spec or not, so I would implement that last as far as the typed function references proposal goes
https://github.com/WebAssembly/function-references/issues/44
Last updated: Nov 22 2024 at 17:03 UTC