See below

>-----Original Message-----
>From: [email protected] [mailto:es3.x-discuss-
>[email protected]] On Behalf Of David-Sarah Hopwood
[snip]
> array length invariant...another ES3.1 bug]
>
>Yes, I think you're right here. Also,
> - defining an array index property past the current length would
>   violate the invariant.
> - host objects might have similar invariants that are supposed to
>   be enforced by overriding [[Get]] or [[ThrowingPut]], and that
>   Object.defineProperty would bypass.
>
>(The bug seems to be in [[DefineOwnProperty]]. I'm not sure how to fix
>it.)
>

Array instances needs to have its own version of [[DefineOwnProperty]] to go 
along with its [[ThrowingPut]].


>> Strictly speaking step 7 needs to compose the array elements into a
>> List as that is what [[Call]] takes as an argument
>
>If this is wrong then so is every other use of [[Call]] in the spec,
>since none of them *explicitly* say that they construct a List.
>

Well, not quite every use of [[Call]] but a lot of them...that why I said 
"strictly speaking".  I'd classify this as a cosmetic bug.
_______________________________________________
Es-discuss mailing list
[email protected]
https://mail.mozilla.org/listinfo/es-discuss

Reply via email to