JP Sugarbroad
JP Sugarbroad
`cont.throw` doesn't take an `evtref`, so it's not possible to respond to an unknown suspension with an exception. Is that intentional? The new function type `$ft' : [tr*] -> [t2*]`...
@RossTate Doesn't this support those, if indirectly, since the exceptions are resumable?
Is the idea here to _require_ a new object, or to _permit_ a new object? The latter basically says "don't count on function identity in the embedding", but permits the...
I'm working on assembling a corpus of wasm found "in the wild", so to speak. I'll let you know what I find.
Mmm, I do not want to commit anything yet, but I am also not sure anyone should wait for me because I don't know what I'll find. I'll do my...
@SamuraiCrow I'm confused. If the underlying platform doesn't have a bswap instruction, how does adding one to webassembly help?
Given that we have no "unreachable" type, and blocks have to have types, the only places I can think of where someone is type-checking with an unknown is between a...
What's the advantage of stronger dead code validation? It's a corner case that shouldn't come up very often in actual wasm uses, right?
So it's to be x86-style prefixes then? 😁
We already have a mechanism for ignored information: [custom sections](https://webassembly.github.io/spec/core/binary/modules.html#binary-customsec). What if this information were stored there, with e.g. some kind of code pointer?