search

WebAssembly / gc

Branch of the spec repo scoped to discussion of GC integration in WebAssembly
https://webassembly.github.io/gc/
Other
982 stars 70 forks source link

Type equivalence in modifiend spec #505

Closed q82419 closed 8 months ago

q82419 commented 8 months ago

Hi,

In the type matching or closing, we may need to compare the type equivalence of 2 types, such as description in MVP.

But in the modified spec, I cannot find the type equivalence rules.

For example, in the matching defined types, the first rule is that the deftype1 and deftype2 are equal, but there's no link to the equivalence rules. In the chapter of rolling and unrolling, the link of equivalence is redirected to the matching defined types.

Would you help to refine this or specify the rules of type equivalence in the modified spec? Thanks!

rossberg commented 8 months ago

Well, there is nothing to define, this simply is plain syntactic equality. It is worth putting in a note about that, though, so I created #506.