« Bugzilla Issues Index
#1032 — 12.2.4: upright "exists"
- bug_id:
1032
- creation_ts:
2012-11-25 02:00:00 -0800
- short_desc:
12.2.4: upright "exists"
- delta_ts:
2012-12-21 18:08:32 -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:
2786
- comment_count:
0
- who:
Michael Dyck
- bug_when:
2012-11-25 02:00:20 -0800
In 12.2.4 "Destructuring Binding Patterns",
under "Runtime Semantics: Indexed Binding Initialisation",
rule 10 step 8.c says:
ReturnIfAbrupt(exists).
where "exists" is in an upright font.
Change it to an italic font.
- commentid:
2836
- comment_count:
1
- who:
Allen Wirfs-Brock
- bug_when:
2012-11-26 09:57:31 -0800
corrected in rev 13 draft