Andreas Rossberg

@conrad-watt, doesn't the handler already take "a list of tags"? Or are you talking about the difference between (on $tag switch)* vs (on tag* switch)? The latter should save about...

I'm with @conrad-watt that the need for a fake handler is odd. Moreover, if we use a special switch handler, then we can also remove the annotation on the tag...

@gahaas, it's specified [here](https://webassembly.github.io/spec/core/appendix/implementation.html#validation). That said, I know that some of us were actually hoping that we could remove this eventually, since it is gross, and was mainly introduced to...

For all practical purposes, allowing lazy validation means multiple runtime behaviours: programs that succeed in one place may fail in another. It's essentially non-deterministic. As @lukewagner says, we could _require_...

I'll look into it. It might be non-trivial, since the old form is desugared in the parser already. Edit: Won't these clients have to be adapted anyway? Otherwise they won't...

Hm, I don't quite get what you mean. I'm not seeing anything unusual, e.g. in the [online PDF](https://webassembly.github.io/spec/versions/core/WebAssembly-3.0-draft.pdf). Can you provide a screen shot?

I see, yes, I can observe that. Unfortunately, this appears to be a Sphinx limitation, which I'm not sure can be fixed or worked around. Are you sure it ever...

Oops, sorry, my bad. Please see #1829. @sbc100, normally this runs on CI via node, but that is deactivated on this branch because current node.js cannot handle some of the...

I'm fine with either, but don't feel knowledgeable enough to set that up. ;)

@sbc100, is this after #1832?