« Bugzilla Issues Index
#1422 — 8.1.6.2: [[Construct]] may also return non-object types
- bug_id:
1422
- creation_ts:
2013-04-11 11:58:00 -0700
- short_desc:
8.1.6.2: [[Construct]] may also return non-object types
- delta_ts:
2013-05-14 18:13:27 -0700
- product:
Draft for 6th Edition
- component:
technical issue
- version:
Rev 14: March 8, 2013 Draft
- rep_platform:
All
- op_sys:
All
- bug_status:
RESOLVED
- resolution:
FIXED
- priority:
Normal
- bug_severity:
minor
- everconfirmed:
true
- reporter:
André Bargull
- assigned_to:
Allen Wirfs-Brock
- commentid:
3616
- comment_count:
0
- who:
André Bargull
- bug_when:
2013-04-11 11:58:49 -0700
Per table 9 in 8.1.6.2, [[Construct]] always returns Objects, but with Proxies and @@create this may no longer be the case. Therefore the signature should be changed to "(a List of any) -> any".
NB: [[Call]] still allows Reference return values for host objects, remove that sentence?
NB: Table 9 summary is not accurate, [[Construct]] is not required for objects to be called as functions.
- commentid:
3837
- comment_count:
1
- who:
Allen Wirfs-Brock
- bug_when:
2013-05-13 16:04:53 -0700
Fixed in rev15 editor's draft.
WRT [[Construct]] I modified the ordinary definitions and Proxy to enforce the invariant that [[Construct]] always returns Type object (or an abrupt completion)
- commentid:
3911
- comment_count:
2
- who:
Allen Wirfs-Brock
- bug_when:
2013-05-14 18:13:27 -0700
resolved in rev 15, May 14, 2013 draft