« Bugzilla Issues Index
#3494 — 7.1.3.1.1: incorrect productions
- bug_id:
3494
- creation_ts:
2014-12-25 20:52:00 -0800
- short_desc:
7.1.3.1.1: incorrect productions
- delta_ts:
2015-01-15 16:19:03 -0800
- product:
Draft for 6th Edition
- component:
editorial issue
- version:
Rev 30: December 24, 2014 Draft
- rep_platform:
All
- op_sys:
All
- bug_status:
RESOLVED
- resolution:
FIXED
- priority:
Normal
- bug_severity:
major
- everconfirmed:
true
- reporter:
Michael Dyck
- assigned_to:
Allen Wirfs-Brock
- commentid:
11242
- comment_count:
0
- who:
Michael Dyck
- bug_when:
2014-12-25 20:52:07 -0800
In 7.1.3.1.1 "Runtime Semantics: MV’s",
note that the last two bullets and the two bullets before them
purport to cover the same pair of productions.
In fact, the productions in the earlier two bullets are incorrect:
each is missing a "." before the "DecimalDigits".
(Looks like they were deleted in rev28.)
- commentid:
11266
- comment_count:
1
- who:
Allen Wirfs-Brock
- bug_when:
2014-12-29 16:23:02 -0800
fixed in rev31 editor's draft
restored the missing "."s
- commentid:
11436
- comment_count:
2
- who:
Allen Wirfs-Brock
- bug_when:
2015-01-15 16:19:03 -0800
In Rev31