Daniel Hillerström comments

Results 109 comments of


                                            Daniel Hillerström

Tracking issue: Stack switching proposal implementation status

Tags are added by PR #10251.

Tracking issue: Stack switching proposal implementation status

Codegen was added by #11003.

WasmFX reference interpreter: Errorenous treatment of non-final types

Thanks. I think before fixing this issue, we should make sure the reference interpreter is in sync with the `wasm-3.0+exn` on WebAssembly/spec.

WasmFX reference interpreter: Errorenous treatment of non-final types

Fixed by #72.

Barrier instruction

I suppose a downside of the `resume_barrier` variation is that it requires placing the code on continuation (i.e. another stack), whereas the block variation allows code to run on the...

Barrier instruction

I've removed the `barrier` instruction from #84 as we agreed on Monday.

Relicensing `wasm-tools` and this repository's crates

I approve this license change.

CPS compilation is broken for inlined handled computations

I had a look at this again. The problem is that the continuation is inadvertently thrown away due to the way let bindings are compiled. A quick fix would be...

Continuation trapping semantics

> For example I don't know if this is accidentally skipping over native frames at the base of other continuations. Excellent point. I think it may skip over intermediate `invoke_wasm_and_catch_traps`...