« Bugzilla Issues Index
#3497 — 13.11.2: "hasDuplicates" not defined
- bug_id:
3497
- creation_ts:
2014-12-26 19:46:00 -0800
- short_desc:
13.11.2: "hasDuplicates" not defined
- delta_ts:
2015-01-15 16:19:01 -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:
normal
- everconfirmed:
true
- reporter:
Michael Dyck
- assigned_to:
Allen Wirfs-Brock
- commentid:
11246
- comment_count:
0
- who:
Michael Dyck
- bug_when:
2014-12-26 19:46:36 -0800
In 13.11.2 "Static Semantics: ContainsDuplicateLabels",
in group 3,
step 2 says:
If hasDuplicates is true, then return true.
but /hasDuplicates/ is not necessarily defined at that point.
- commentid:
11264
- comment_count:
1
- who:
Allen Wirfs-Brock
- bug_when:
2014-12-29 16:10:15 -0800
fixed in rev31 editor's draft
- commentid:
11420
- comment_count:
2
- who:
Allen Wirfs-Brock
- bug_when:
2015-01-15 16:19:01 -0800
In Rev31