Andreas Rossberg
Andreas Rossberg
> > An implementation that can recover from traps cannot simply free this instance (at least not all of it). In general, engines that allow dynamic instantiation need some form...
Re 1: That would be okay, but is there really a collision? 0x40 is not a proper type opcode, but more like an escape code. A decoder can first check...
I believe something similar happened before with table.init, when we moved to multiple tables. We could require the `(memory 0)` syntax to spell out the memory, following the syntax we...
> 1. What is the behavior of ToWebAssemblyValue for `(ref null? T)` when `T = func-type`. The explainer says for ['value conversions'](https://github.com/WebAssembly/function-references/blob/main/proposals/function-references/Overview.md#value-conversions) that a type equality check is performed. The...
Yes, makes a lot of sense to me. However, I think the syntax ought to be ``` '(' 'memory' id? idxtype '(' 'data' datastring ')' ')' ``` Reason: The index...
@tlively, I guess I'm willing to live with that small annoyance. :) The analogous shorthand for tables already works that way, although the order is different there, so the annoyance...
Has there been any progress on this?
@syg, makes sense, thanks for the update!
@syg, can you address @Ms2ger's remaining comments, so that we can merge this?
@dtig, any progress on this PR, or should we close it?