« Bugzilla Issues Index
#1700 — 15.9.4.45: redundant type check?
- bug_id:
1700
- creation_ts:
2013-08-01 17:45:00 -0700
- short_desc:
15.9.4.45: redundant type check?
- delta_ts:
2013-08-23 08:22:52 -0700
- product:
Draft for 6th Edition
- component:
editorial issue
- version:
Rev 16: July 15, 2013 Draft
- rep_platform:
All
- op_sys:
All
- bug_status:
RESOLVED
- resolution:
FIXED
- priority:
Normal
- bug_severity:
minor
- everconfirmed:
true
- reporter:
Michael Dyck
- assigned_to:
Allen Wirfs-Brock
- commentid:
4695
- comment_count:
0
- who:
Michael Dyck
- bug_when:
2013-08-01 17:45:28 -0700
15.9.4.45's algorithm begins:
1. Let O be this Date object.
2. If Type(O) is not Object, then throw a TypeError exception.
But how can the condition in step 2 be true? The phrase "this Date object" is defined (in 15.9.4) to be an object, and all other references to "this Date object" assume it to be so (i.e., they set or get its internal properties without first checking that it's an object). So either this type-check is redundant, or there are a bunch of other places that need to add a type-check.
- commentid:
4750
- comment_count:
1
- who:
Allen Wirfs-Brock
- bug_when:
2013-08-05 17:18:06 -0700
fixed in rev17 editor's draft
- commentid:
5113
- comment_count:
2
- who:
Allen Wirfs-Brock
- bug_when:
2013-08-23 08:22:52 -0700
fixed in rev17, August 23, 2013 draft