CharlieTap

Type matching logic in test suite assertions

3

Various test assertions require the testsuite runner implementation to understand the type matching logic, for example: ```wast (module (global $null nullref (ref.null none)) (func (export "anyref") (result anyref) (global.get $null))...

Spec module global instantiation is incorrect

4

As globals can now have initial expressions that point to other globals, it's not possible to compute all the initialiser expressions into a vector ahead of global allocation. For example...

Native needs the Level configuration

3

Without being able to specify level iteration, tests are really clunky to configure. For example say I have a class: ```kotlin class Benchmark { val stack = stack() @Setup fun...

wasm-component generate components for modules with host function imports

5

Say I have an existing module like this: ```wat (module (import "env" "host_function" (func $host_function (result i32))) (func $call_host_function (result i32) call $host_function) (export "call_host_function" (func $call_host_function)) ) ``` Running...