archives

« Bugzilla Issues Index

#1099 — 9.1.8.1 + 15.4.6.2.2: denoting positive infinity in pseudo-code

• bug_id: 1099
• creation_ts: 2012-11-29 11:56:00 -0800
• short_desc: 9.1.8.1 + 15.4.6.2.2: denoting positive infinity in pseudo-code
• delta_ts: 2012-12-21 18:08:53 -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: minor
• everconfirmed: true
• reporter: Michael Dyck
• assigned_to: Allen Wirfs-Brock

---

• commentid: 2907
• comment_count: 0
• who: Michael Dyck
• bug_when: 2012-11-29 11:56:08 -0800

Section 8.1.5 introduces the term 'positive Infinity', and says that it's also referred to "for expository purposes" by the symbol '+'. [That character may not render properly, but you know what I mean.]

There are two places in the spec that denote this value with other terms:

In 9.1.8.1 "ToString Applied to the Number Type",
step 4 says:
If m is infinity, return the String "Infinity".

In 15.4.6.2.2 "ArrayIterator.prototype.next( )",
step 11.a says:
Set the value of the [[ArrayIteratorNextIndex]] internal data property
of O to +Infinity.

In each case, the improper term ("infinity" or "+Infinity") should be changed to either "positive Infinity" or the symbol. For consistency with all other pseudo-code in the spec, use the symbol.

---

• commentid: 2936
• comment_count: 1
• who: Allen Wirfs-Brock
• bug_when: 2012-12-01 09:43:34 -0800

fixed in rev 13 editor's draft