Thomas Lively

I think that makes sense for now, but we should make sure @fgmccabe is on board.

I can take a look at those TODOs later today, unless you plan on working on them first.

Another alternative possible today would be to replace `call_indirect` with a sequence of instructions like this: ``` call_indirect $f => block (param t1* i32) (result t2*) table.get $indirect_call_table block (param...

Being able to catch and handle traps is a common feature request. Here's one discussion on it with links to other discussions as well: https://github.com/WebAssembly/exception-handling/issues/206

Another trick would be to declare a v128 local that will be implicitly initialized to zero, then use a `local.get` to retrieve the value. I don't know how the V8...

@kripken, the notion of attaching to anything at all is part of the semantics of the annotation, so cannot be described in general for all annotations. The best we can...

> 2\. We can add a few lines about annotations syntax in tool-conventions, as [@tlively](https://github.com/tlively) has proposed. But is it not awkward for a core spec proposal like compilation hints...

To be clear, we have complete control over both the LLVM and Emscripten defaults, and they can be entirely independent. We previously decided to be somewhat aggressive about updating LLVM...

@jakobkummerow WDYT?

cc @rossberg and @dschuff. Assuming a CG vote is the next procedural step for this, I've added a vote to the July 16 CG meeting. Is there anything else you...