« Bugzilla Issues Index
#2885 — 10.1: bad indent in production
- bug_id:
2885
- creation_ts:
2014-05-22 21:23:00 -0700
- short_desc:
10.1: bad indent in production
- delta_ts:
2014-07-25 00:18:11 -0700
- product:
Draft for 6th Edition
- component:
editorial issue
- version:
Rev 25: May 22, 2014 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:
8617
- comment_count:
0
- who:
Michael Dyck
- bug_when:
2014-05-22 21:23:11 -0700
[This bug's Version should be changed to "Rev 25" when that is possible.]
In 10.1 "Source Text",
under "Syntax",
the production is:
SourceCharacter ::
any Unicode code point
The RHS should be indented farther than the LHS.
- commentid:
8618
- comment_count:
1
- who:
Michael Dyck
- bug_when:
2014-05-22 21:44:06 -0700
Sorry, the bug is that the LHS should be flush-left.
- commentid:
9078
- comment_count:
2
- who:
Allen Wirfs-Brock
- bug_when:
2014-06-23 11:53:58 -0700
fixed in rev26 editor's draft
- commentid:
9386
- comment_count:
3
- who:
Allen Wirfs-Brock
- bug_when:
2014-07-19 18:33:07 -0700
fixed in rev26
- commentid:
9546
- comment_count:
4
- who:
Michael Dyck
- bug_when:
2014-07-25 00:18:11 -0700
confirmed fixed