archives

« Bugzilla Issues Index

#251 — 11.13.1: redundant parameter 'declarations'


In 11.13.1 "Destructuring Assignment",
under "Runtime Semantics: Indexed Destructuring Assignment Evaluation",
most of the productions are followed by the line:
with parameters /obj/ and /index/
These are redundant, as the destructuring assignment operation "declares" its parameters at the start of the section.


correct in draft