« Bugzilla Issues Index
#1752 — 13.5 Class Runtime Semantics: extra Type(superclass) call
- bug_id:
1752
- creation_ts:
2013-08-12 11:20:00 -0700
- short_desc:
13.5 Class Runtime Semantics: extra Type(superclass) call
- delta_ts:
2013-08-23 08:23:04 -0700
- product:
Draft for 6th Edition
- component:
technical issue
- version:
Rev 16: July 15, 2013 Draft
- rep_platform:
All
- op_sys:
All
- bug_status:
RESOLVED
- resolution:
FIXED
- priority:
Normal
- bug_severity:
enhancement
- everconfirmed:
true
- reporter:
Murat Sutunc
- assigned_to:
Allen Wirfs-Brock
- commentid:
4849
- comment_count:
0
- who:
Murat Sutunc
- bug_when:
2013-08-12 11:20:04 -0700
On chapter 13.5.1.2 Runtime Semantics item 2.d calls Type(superclass), however on item 2.e we call for the IsContructor(superclass).
1. Else if Type(superclass) is not Object, throw a TypeError exception.
2. Else if IsConstructor(superclass) is false, then throw a TypeError exception.
If we look at the definition of the function IsConstructor, it is already is calling Type(superclass):
1. If Type(argument) is not Object, return false.
2. If argument has a [[Construct]] internal method, return true.
3. Return false.
So the extra call for Type(superclass) is not necessary in 13.5.1.2
- commentid:
4937
- comment_count:
1
- who:
Allen Wirfs-Brock
- bug_when:
2013-08-16 13:18:49 -0700
fixed in rev17 editor's draft
- commentid:
5132
- comment_count:
2
- who:
Allen Wirfs-Brock
- bug_when:
2013-08-23 08:23:04 -0700
fixed in rev17, August 23, 2013 draft