Andreas Rossberg
Andreas Rossberg
I'm okay doing this change, but it requires some spec work. The easy part is to extend the definition of identifiers to ``` id ::= '$' idchar+ | '$' name...
I was about to merge #23, but I don't mind either way. They do add some complexity to the spec, o.t.o.h. it's handy to have an escape mechanism for richer...
Okay, thanks, I'll move ahead with merging the PR then.
I think the only real open question is how this would interact with future repeated sections (#11). But I think we at least have a possible plan, as stated on...
Well, not from my perspective anyway. If it was for me, this could have been merged years ago. ;)
Sounds good! Yes, the only thing we need to resolve is whether to keep `@name` as the textual representation for the name section. We can try to resolve that beforehand...
I'm afraid I won't be able to attend the next meeting, since I will be at a meeting in Japan.
That works.
Right, traps are unrelated to exceptions (even though they are converted to JS exceptions on the outside, when Wasm is embedded in JS). They are fatal program failures that abruptly...
> Other than Python, I'm not actually sure what language implementations would benefit from such a string representation. FWIW, Haskell strings also consist of code points: ``` ghci> "\x1F4A9" "\128169"...