Thomas Lively

Once we have [typed function references](https://github.com/WebAssembly/function-references) it would be neat if a JIT feature could use them. I'm picturing an instruction that takes a memory address and size and returns...

In all other instances where we disallow forward references, it's because we specifically wish to disallow cycles. I think it's right that we _could_ make this change, but I don't...

The IDs are just the `Expression::ID` values from wasm.h, so it is expected that they have changed. You can update the binaryen.js tests by running `emcmake cmake -G Ninja ....

> The one issue to be aware of here is that a contaddr has no self-describing type in an efficient implementation. Hence, they could not expose these embedding functions to...

It's not just the API functions that shouldn't be exposed to JS, though, it's also things as simple as passing and returning `contref` as function parameters and results on the...

> > To address this, I've been thinking that we should either have a new version of func_invoke > > So in non-suspendable mode, it does the equivalent of a...

cc @fgmccabe, since we were wondering how the typing of symmetric switching in WasmFX should work.

I guess the inline code would be a fast path for the case where the innermost handler is the correct one, and if that's not the case, it would fall...

If we take as a requirement that the compiler must know at the suspend site when it is going to perform a switch[^1] and consider that we can signal a...

> > In the "continuation-switched" design, the tag attribute means that the tag may be used for direct switches, but since the continuation is in control of whether a switch...