archives

« Bugzilla Issues Index

#1088 — 8.3.{12,13}: "If Type(O) is not Object"


In 8.3.12 "[[Keys]] ( )" and 8.3.13 "[[OwnPropertyKeys]] ( )",
step 2 says:
If Type(O) is not Object, return result.
but as far as I can tell, Type(O) *must* be Object.
(As soon as you say "the [[Keys]] internal method of O", doesn't that
imply that O is an object? Can a non-object have an internal method?)

So you could delete the step, or replace it with an assertion.


fixed in rev 13 editor's draft