Re: Violations of internal method invariants?

On Thu, Jul 31, 2014 at 1:24 PM, Boris Zbarsky <bzbarsky@mit.edu> wrote:
> On 7/31/14, 9:43 AM, Jason Orendorff wrote:
>> Right Thing: I think [[PreventExtensions]] on these objects should
>> always return false.
>
> The Web IDL spec requires this already, fwiw: [...]
>
> If there is an actual hook it can hook into now to do that, so much the
> better.

Great. Please pass along to the WebIDL editor(s) that this can be done
by specifying that [[PreventExtensions]] returns false.

>> I think [[DefineProperty]] on these objects
>> should return false if Desc.[[Configurable]] is false or if it's
>> missing and would default to false.
>
> This is not compatible with the HTML spec, sadly (and neither is the spec,
> as a result) for the following reason: HTMLDocument needs to be able to have
> a non-configurable own accessor property named "location".

If "location" is exempt from shadowing, then it can be exempt from the
restriction too. That solves the problem, right?

-j

Received on Thursday, 31 July 2014 18:47:27 UTC