Andreas Rossberg

What @tlively said. There is no presumed connection to the AST at all. All the core spec does is allowing the (lexical) syntax, in the same spirit that custom sections...

@kripken, tools that modify a module cannot preserve unknown custom sections either, since those generally would need updating as well, consider e.g. code positions in code metadata sections. That corresponds...

@kripken, why would the same not work with the text format? As long as you are just inserting additional annotations, and you know where those have to go, isn't everything...

@kripken, the same problem occurs in the binary format: for an unknown custom section, you cannot know whether it is meant to be placed after the preceding section or before...

Oh sure, I'm all for adding @yuri91's text. My reply was only concerned with the suggestions of specifying or handling this outside concrete annotation specs.

Do I understand correctly, the only difference between start2 and a regular function export would be that other clients of the instance cannot invoke it? If so, then perhaps a...

Thanks for writing this up. It is a good time to explore directions for a generic extension mechanism. My first reaction after reading this proposal is that it is adding...

@titzer, the built-ins approach would also specify a precise semantics for those built-ins, so what's the practical difference? And it is not just more spec burden — it is multiple...

I'm okay with voting this in directly, though it would be nice to hear more about the application in question. Perhaps it's worth having a discussion about the limits and...

Yeah, such functions will need to access some module instance, in order to be able to access other functions or memories etc. That either means that one actually needs to...