[spec] Fix typing of functions

WebAssembly / gc

Branch of the spec repo scoped to discussion of GC integration in WebAssembly

https://webassembly.github.io/gc/

Other

997 stars 72 forks source link

[spec] Fix typing of functions #458

Closed rossberg closed 1 year ago

rossberg commented 1 year ago

Adjust various places that were still using a functype or a typeidx instead of a deftype to type functions. Also, add missing subsumtion for external values and reference values.

@q82419, please take a look.

q82419 commented 1 year ago

Looks excellent, thanks for help!