Daniel Hillerström
Daniel Hillerström
This patch implements (most parts of) the frontend for the function references proposal (currently we have not implemented initialised locals). Moreover, the crates shrink, smith, and mutate have yet to...
A solution to the same fringe problem using a single multi-handler to synchronise between two coroutines.
PR #5288 implements the function references proposal modulo a few missing bits. The missing bits are: * [ ] Support for function references in the embedder API. * [ ]...
The pretty printer emits session types that cannot be typesetted by the programmer, e.g. ```links links> fun mkChan() { fork(fun(ch) { var ch = send(42, ch); close(ch) }) }; mkChan...
This PR is a rebase of #1148 on top of the latest changes to `master` -- in particular those made to effect handlers. This PR also generalises the previous work...
The following program triggers an internal error in the type checker (during the construction of an error message). ```links typename S(e::Eff) = () ~e~> (); sig r : (S({ |e}))...
PR #42 ported the examples in the repository root to use the new (or reintroduced) `effect` syntax in handlers. The examples in directories `aio/`, `callback/`, `multishot`, and `mvar/` are yet...
This patch adds a reference interpreter for the stack switching proposal. It implements all of the proposed instructions (currently it contains the old version of `barrier`, which we can adapt...
The stack switching proposal notably does not feature the `barrier` instruction from the WasmFX/typed continuations proposal? The question is, do we want to include such an instruction? Do we have...
We should develop the spec testsuite for the stack switching proposal. I have something implemented already in https://github.com/WebAssembly/stack-switching/blob/wasmfx/test/core/cont.wast, however it currently lacks tests for `switch` and it does not thoroughly...