« Bugzilla Issues Index
#1084 — 11.8.1: clarifying the logic
- bug_id:
1084
- creation_ts:
2012-11-28 02:11:00 -0800
- short_desc:
11.8.1: clarifying the logic
- delta_ts:
2012-12-21 18:08:52 -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:
enhancement
- everconfirmed:
true
- reporter:
Michael Dyck
- assigned_to:
Allen Wirfs-Brock
- commentid:
2891
- comment_count:
0
- who:
Michael Dyck
- bug_when:
2012-11-28 02:11:29 -0800
In 11.8.1 "Runtime Semantics",
under "Runtime Semantics: The Abstract Relational Comparison Algorithm",
steps 5 and 6 are:
5. If it is not the case that both Type(px) is String and
Type(py) is String, then
..5..
6. Else both px and py are Strings,
..6..
It would be simpler and clearer if you swapped the two steps, so that you test the positive condition:
5. If Type(px) is String and Type(py) is String, then
..6..
6. Else
..5..
- commentid:
2949
- comment_count:
1
- who:
Allen Wirfs-Brock
- bug_when:
2012-12-01 10:23:15 -0800
fixed in rev 13 editor's draft