archives

« Bugzilla Issues Index

#529 — 9.2.3 + 11.9.1: clarify logic

• bug_id: 529
• creation_ts: 2012-07-14 13:04:00 -0700
• short_desc: 9.2.3 + 11.9.1: clarify logic
• delta_ts: 2012-09-28 12:24:03 -0700
• product: Draft for 6th Edition
• component: editorial issue
• version: Rev 9: July 8, 2012 Draft
• rep_platform: All
• op_sys: All
• bug_status: RESOLVED
• resolution: FIXED
• priority: Normal
• bug_severity: enhancement
• everconfirmed: true
• reporter: Michael Dyck
• assigned_to: Allen Wirfs-Brock

---

• commentid: 1312
• comment_count: 0
• who: Michael Dyck
• bug_when: 2012-07-14 13:04:47 -0700

In 9.2.3 "The SameValue Algorithm",
step 7 could be mis-parsed as:

If Type(x) is String, then
return true if x and y are exactly the same sequence of characters
(same length and same characters in corresponding positions);
otherwise,
return false.

Instead, I suggest:

If Type(x) is String, then
a. If x and y are exactly the same sequence of characters
(same length and same characters in corresponding positions),
return true.
b. Else, return false.

or, closer to the original:

If Type(x) is String, then
a. Return true if x and y are exactly the same sequence of characters
(same length and same characters in corresponding positions);
otherwise, return false.

And then similarly with step 8.

And then all that again in 11.9.1:
"The Abstract Equality Comparison Algorithm" and
"The Strict Equality Comparison Algorithm".

---

• commentid: 1499
• comment_count: 1
• who: Allen Wirfs-Brock
• bug_when: 2012-08-14 16:15:46 -0700

corrected in editor's draft

---

• commentid: 1657
• comment_count: 2
• who: Allen Wirfs-Brock
• bug_when: 2012-09-28 12:24:03 -0700

fixed in rev10, Sept. 27 2012 draft