The execution section for elem.drop was missing the type field of element instances. In addition, the heading of the Element Instances section in the Soundness appendix was also missing the type. I have added the type to both places.
This is my first contribution to the spec repo, so apologies if I got any conventions wrong.
Would close #1663 if it wasn't already closed for some reason.
The execution section for
elem.dropwas missing thetypefield of element instances. In addition, the heading of the Element Instances section in the Soundness appendix was also missing the type. I have added the type to both places.This is my first contribution to the spec repo, so apologies if I got any conventions wrong.
Would close #1663 if it wasn't already closed for some reason.