rajdakin

Package: Wasmer

3

This PR adds the Wasmer package. Note: this PR ~has been tested to work on the Docker container, and~ makes use of the precompiled Wasmer libraries to allow its usage...

Moved dependency chasing to the loader and fixed some tests

7

This PR: - removes some `ignore` lines in the tests file for tests that are now passing; - fixes some tests; - moves the dependency chasing to the loader (as...

The following code: ``` sig f : Comp({}, Bool) fun f() { () } ``` fails with the error: ``` :0: Kind mismatch: Type argument 1 for type constructor Comp...

Sorting record members first on the length of the key

2

This PR fixes #1210 and the order of the `fn_params` member of the function descriptor. The implementation of this fix adds a string map which has a different `compare` function:...

The `RoundtripPrinter` (which is the default printer) displays the list of arguments of a function type in the wrong order: in the following code, ```links sig f : ((), (),...

The `exit` Links function is unsound

1

The `exit` function is unsound. The three following programs run in the interpreter: ``` exit([]) + 1;; # Returns [] : Int exit(1) :: ['c'];; # Returns 1 : [Char]...

Semi-implicit dropping of initialization should be explicited

1

(Based on WebAssembly/stack-switching#118) The current specification prevents initialization information to be propagated through blocks by simply not having variable lists in the rules: ``` C |- blocktype : [t1*] ->...