I’m currently implementing section 9.5.11 of the spec (
tc39.github.io/ecma262/#sec-proxy-object-internal-methods-and-internal-slots-ownpropertykeys
).
Sections 17 and 19 perform the Remove operation on the List type. How is
the Remove
operation defined? Is it defined to just delete the first instance of
something in the List or all instances?
Is this defined somewhere? (If so, I couldn’t find it. Sorry if it’s
there.) If not, maybe it’s worth defining?
Also, it appears the the algorithm defined in 9.5.11 allows for duplicate
entries to be returned by
this trap under certain circumstances (dependent on how List::Remove is
defined). Is this intended?
I think this would be the only place where [[OwnPropertyKeys]] has
duplicate entries. Maybe we should
guarantee the items are unique?
Thanks,
Saam
I’m currently implementing section 9.5.11 of the spec (
https://tc39.github.io/ecma262/#sec-proxy-object-internal-methods-and-internal-slots-ownpropertykeys
).
Sections 17 and 19 perform the Remove operation on the List type. How is
the Remove
operation defined? Is it defined to just delete the first instance of
something in the List or all instances?
Is this defined somewhere? (If so, I couldn’t find it. Sorry if it’s
there.) If not, maybe it’s worth defining?
Also, it appears the the algorithm defined in 9.5.11 allows for duplicate
entries to be returned by
this trap under certain circumstances (dependent on how List::Remove is
defined). Is this intended?
I think this would be the only place where [[OwnPropertyKeys]] has
duplicate entries. Maybe we should
guarantee the items are unique?
Thanks,
Saam
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.mozilla.org/pipermail/es-discuss/attachments/20160225/6db8d433/attachment.html>
I’m currently implementing section 9.5.11 of the spec ( tc39.github.io/ecma262/#sec-proxy-object-internal-methods-and-internal-slots-ownpropertykeys ). Sections 17 and 19 perform the Remove operation on the List type. How is the Remove operation defined? Is it defined to just delete the first instance of something in the List or all instances? Is this defined somewhere? (If so, I couldn’t find it. Sorry if it’s there.) If not, maybe it’s worth defining?
Also, it appears the the algorithm defined in 9.5.11 allows for duplicate entries to be returned by this trap under certain circumstances (dependent on how List::Remove is defined). Is this intended? I think this would be the only place where [[OwnPropertyKeys]] has duplicate entries. Maybe we should guarantee the items are unique?
Thanks, Saam