« Bugzilla Issues Index
#1088 — 8.3.{12,13}: "If Type(O) is not Object"
  
  
  - bug_id:
    1088
  
- creation_ts:
    2012-11-28 13:55:00 -0800
  
- short_desc:
    8.3.{12,13}: "If Type(O) is not Object"
  
- delta_ts:
    2012-12-21 18:08:22 -0800
  
- product:
    Draft for 6th Edition
  
- component:
    editorial issue
  
- version:
    Rev 12: November 22, 2012 Draft
  
- rep_platform:
    All
  
- op_sys:
    All
  
- bug_status:
    RESOLVED
  
- resolution:
    FIXED
  
- priority:
    Normal
  
- bug_severity:
    normal
  
- everconfirmed:
    true
  
- reporter:
    Michael Dyck
  
- assigned_to:
    Allen Wirfs-Brock
  
  
  
  - commentid:
    2895
  
- comment_count:
    0
  
- who:
    Michael Dyck
  
- bug_when:
    2012-11-28 13:55:24 -0800
  
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.
  
  
  - commentid:
    2945
  
- comment_count:
    1
  
- who:
    Allen Wirfs-Brock
  
- bug_when:
    2012-12-01 10:14:06 -0800
  
fixed in rev 13 editor's draft