Andreas Rossberg

Can you click on the formula and see an error? Or in the console?

So, I see the rendering errors in your HTML. Diffing the sources, it seems that yours still imports MathJax 2.7.5, while mine uses MathJax 3. Moreover, the bump of `maxBuffer`...

During the last CG meeting, we discussed whether this is something we need to consider as part of the proposal, or whether it could be a later addition. The discussion...

Yes, I think the assertion in the OP has to hold. This isn't even Wasm-specific, but a consequence of the JS semantics for exceptions, which are arbitrary values, so must...

Yes, spec, interpreter, and test suite have been done long ago. The second engine has been the main blocker for the last 2-3 years. I was hoping that JSC would...

@wingo, I'm curious why multiple return values are an issue, given that Wasm has them, too. Does that have to do with the untyped nature of Scheme?

@lars-t-hansen, yes, good question. My recollection of the state of that debate is that multiple implementers were positive that this could be implemented just fine, e.g. using auxiliary stubs or...

Here is one small concrete suggestion to support at least first-level filtering: add an optional tag list to a catch clause. The clause would only be invoked for a thrown...

> This won't help. catch-all clauses are more frequent than filtered-catch clauses in the current design because they are used to implement destructors. In C++, yes, as mentioned in the...

> * When there is a preceding control flow transfer before entering `finally` and `finally` does not have its own control flow transfer, we pause the execution of the preceding...