function-references

function-references copied to clipboard

The current spec text implies `T | null ≤ T` which is not correct and does not match the prose.

Jamesernator

Update Soundness appendix

1

This extends the Soundness appendix to handle semantic types – now renamed to dynamic types. @conrad-watt, PTAL. One subtlety is that during reduction, we are actually dealing with a mixture...

rossberg

Time for a rendered spec :)

4

Hey it would be swell if we got the HTML version rendered and posted :) Would be happy to help out if needed!

wingo

JS-API is missing value conversions

2

This is highly related to: WebAssembly/gc#279, but as this is a separate proposal I think it needs an issue here too. 1. What is the behavior of ToWebAssemblyValue for `(ref...

eqrion

Tweak binary format for table declarations

1

The new binary format for table types allows `0x40 0x00` as a prefix to a non-nullable reference type to indicate a table that has an explicit element initializer. I think...

titzer

Function reference from JavaScript functions?

4

I was under the impression that this proposal would allow JavaScript functions to be stored in function tables and returned as a result of a call to an import. I...

fgmccabe

Should non-nullable locals be initialized by unreachable code?

13

Binaryen optimization passes that can introduce new invalid uses of non-nullable locals opt themselves into getting an automatic fixup pass applied afterward. To keep binaryen efficient, we try to have...

tlively

Experiment to address #98.

rossberg