Andreas Rossberg
Andreas Rossberg
@dtig, this PR is stale, what's the status?
Has this been resolved?
Identifiers are semantically relevant in the text format. Allowing random strings would thus have undesirable implications. In particular, it would pull in Unicode into a central piece of the text...
@AndrewScheidecker, fair enough, but we would still introduce the situation where there are many different ways to spell the same identifier, e.g., using unicode escapes, raw UTF-8 hex escapes, quotes...
Do you happen to view the doc with Safari? I had the same problem, but the document renders correctly if I turn off content blocking (e.g., via "View/Reload Without Content...
Okay. Perhaps you have some active content blocking in your browser as well? Can you post a screen shot of the page? And do you see any error message in...
@littledan, @Ms2ger, can this be closed now?
Yes, I understand, and I share the sentiment. Unfortunately, this is a result of the poor state of rendering math on the Web and the glorious hack that is MathJax...
Just noticed that store validity needed a tweak to match the eleminst judgement as well. PTAL.
> WebAssembly is generally a small number of big modules, whereas JavaScript may be deployed in many small modules. I'm not sure that we should be making assumptions of this...