archives

« Bugzilla Issues Index

#1393 — 8.1.6.4, 10.3, 8.4.4.9: intrinsics + 'current Code Realm'

• bug_id: 1393
• creation_ts: 2013-03-22 22:37:00 -0700
• short_desc: 8.1.6.4, 10.3, 8.4.4.9: intrinsics + 'current Code Realm'
• delta_ts: 2013-05-14 18:13:20 -0700
• product: Draft for 6th Edition
• component: editorial issue
• version: Rev 14: March 8, 2013 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: 3549
• comment_count: 0
• who: Michael Dyck
• bug_when: 2013-03-22 22:37:29 -0700

In 8.1.6.4 "Well-Known Symbols and Intrinsics",
the paragraph before Table 11 says:
Within this specification a reference such as %name% means the
intrinsic object, associated with the current Code Realm,
corresponding to the name. Determine of the current Code Realmand
its intransics is described in 10.3.

First:
"Determine" -> "Determination"
"Realmand" -> "Realm and"
"intransics" -> "intrinsics (repeating Bug 1277 and Bug 1282)

More significantly, 10.3 does not define "current Code Realm".
As far as I can tell, it isn't defined anywhere in the spec.
My guess is, it's just the 'Realm' component of the 'running execution context'
defined in 10.4.

But if that's correct, then I'm puzzled by the algorithm in
8.4.4.9 "[[Get]] (P, Receiver)", where steps 2.abc say:
a. Let ctx be the running execution context.
b. Let ctxRealm be ctx’s Realm component.
c. Return ctxRealm.[[intrinsics]].% ObjProto_toString %.
If I'm right, you could boil that down to just:
a. Return %ObjProto_toString%.

---

• commentid: 3568
• comment_count: 1
• who: Allen Wirfs-Brock
• bug_when: 2013-04-04 17:44:20 -0700

fixed in rev 15 editor's draft

---

• commentid: 3899
• comment_count: 2
• who: Allen Wirfs-Brock
• bug_when: 2013-05-14 18:13:20 -0700

resolved in rev 15, May 14, 2013 draft