Frank Emrich
Frank Emrich
DesugarInners cannot supply proper type args for calls to mutually recursive, polymorphic functions
Consider the following program: ``` mutual { fun f1() { () } fun f2() { f1() } } ``` This translates to the following, ill-typed IR: ``` (Ir.Rec [{ Ir.fn_binder...
When releasing the links-mysql package, someone from the opam team pointed out that our links-mysql.opam file lists the following dependencies: ``` depends: [ "ocaml" {>= "4.08.0"} "dune" {>= "1.10.0"} "conf-mysql"...
This PR is part of a series that adds basic support for the [typed continuations/wasmfx proposal](https://github.com/wasmfx/specfx). This particular PR adds support for the `cont.new` instruction for creating continuations, documented [here](https://github.com/wasmfx/specfx/blob/main/proposals/continuations/Overview.md#instructions)....
Compiling Links with the recent version v0.16.0 of `ppx_sexp_conv` causes many warnings such as the following (which are treated as errors for the purposes of CI) ``` File "lens/column.ml", lines...
There seems to be a validation problem when WasmFX instructions non-final types. Consider the following program: ```wat (module (type $ft1 (func (param i32))) (type $ct1 (sub (cont $ft1))) (type $ft0...
This PR adds support for the [Wasm stack switching proposal](https://github.com/WebAssembly/stack-switching). The explainer document for the proposal is [here](https://github.com/WebAssembly/stack-switching/blob/main/proposals/stack-switching/Explainer.md). This means that the following instructions are added: `cont.new`, `resume`, `suspend`, `switch`,...
This is a tracking issue for the in-progress implementation of the [Wasm stack switching proposal](https://github.com/WebAssembly/stack-switching). The explainer document for the proposal is [here](https://github.com/WebAssembly/stack-switching/blob/main/proposals/stack-switching/Explainer.md). ### Progress of initial implementation This just...