« Bugzilla Issues Index
#3491 — 15.2.1.*: missing rules for ContainsDuplicateLabels, ContainsUndefinedBreaksTarget, ContainsUndefinedContinueTarget
- bug_id:
3491
- creation_ts:
2014-12-25 19:52:00 -0800
- short_desc:
15.2.1.*: missing rules for ContainsDuplicateLabels, ContainsUndefinedBreaksTarget, ContainsUndefinedContinueTarget
- delta_ts:
2015-01-15 16:19:06 -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:
11238
- comment_count:
0
- who:
Michael Dyck
- bug_when:
2014-12-25 19:52:43 -0800
Each of
15.2.1.2 Static Semantics: ContainsDuplicateLabels
15.2.1.3 Static Semantics: ContainsUndefinedBreakTarget
15.2.1.4 Static Semantics: ContainsUndefinedContinueTarget
is missing a rule for the base-case of ModuleItemList,
i.e., either
ModuleItemList : [empty]
or
ModuleItemList : ModuleItem,
depending on how you resolve the first chunk of Bug 2536.
- commentid:
11239
- comment_count:
1
- who:
Michael Dyck
- bug_when:
2014-12-25 19:55:41 -0800
Ditto 15.2.1.23 "Runtime Semantics: Evaluation"
- commentid:
11269
- comment_count:
2
- who:
Allen Wirfs-Brock
- bug_when:
2014-12-30 16:25:35 -0800
The three contains rule sets are only applied to ModuleItemList (see 15.2.1.1) and we don't need an explicit case for
ModuleItemList: ModuleItem
because of the chain rule.
similarly, evaluation chains through ModuleItem : ExportDeclaration and ModuleItem : StatementListItem
- commentid:
11280
- comment_count:
3
- who:
Michael Dyck
- bug_when:
2014-12-30 20:11:51 -0800
Ah, so the first chunk of Bug 2536 is being resolved toward
ModuleItemList : ModuleItem
?
(I was assuming
ModuleItemList : [empty]
and so the chain rule didn't kick in.)
- commentid:
11330
- comment_count:
4
- who:
Allen Wirfs-Brock
- bug_when:
2015-01-13 10:54:58 -0800
(In reply to Michael Dyck from comment #3)
> Ah, so the first chunk of Bug 2536 is being resolved toward
> ModuleItemList : ModuleItem
yes
- commentid:
11456
- comment_count:
5
- who:
Allen Wirfs-Brock
- bug_when:
2015-01-15 16:19:06 -0800
In Rev31