Update array.copy semantics to handle packed types

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

Update array.copy semantics to handle packed types #416

Closed tlively closed 1 year ago

tlively commented 1 year ago

Previously the array.copy semantics were defined in terms of executing array.get on the source array, which is not correct if the source array contains a packed type. Update the semantics prose and formalism to choose between array.get and array.get_u depending on whether the array contents are packed. The interpreter does not need updating because it already handled the difference correctly.

tlively commented 1 year ago

Current dependencies on/for this PR:

main
- PR #416 👈

This comment was auto-generated by Graphite.

tlively commented 1 year ago

Comments addressed. I also updated the formatting of the side conditions now that they are shorter.