Le 05/10/2012 15:05, Tom Van Cutsem a écrit : > 2012/10/4 David Bruant <[email protected] <mailto:[email protected]>> > > > I think the invariant should be: > ToBoolean(definePropertyTrapOutput) === true > => (descArgument.configurable === targetDesc.configurable) > > > I would formulate it as: > ToBoolean(definePropertyTrapOutput) === true && > descArgument.configurable === false => targetDesc !== undefined && > targetDesc.configurable === false > > (in words: if Object.defineProperty succeeds for a non-configurable > property, then the property must exist on the target and also be > non-configurable) Your invariant is more accurate indeed.
David
_______________________________________________ es-discuss mailing list [email protected] https://mail.mozilla.org/listinfo/es-discuss
