« Bugzilla Issues Index
#4087 — duplicate bindings allowed in CatchParameter
- bug_id:
4087
- creation_ts:
2015-02-25 15:17:00 -0800
- short_desc:
duplicate bindings allowed in CatchParameter
- delta_ts:
2015-03-04 18:58:17 -0800
- product:
Draft for 6th Edition
- component:
technical issue
- version:
Rev 34: February 20, 2015 Release Candidate 1
- rep_platform:
All
- op_sys:
All
- bug_status:
RESOLVED
- resolution:
FIXED
- priority:
Normal
- bug_severity:
minor
- everconfirmed:
true
- reporter:
Michael Ficarra
- assigned_to:
Allen Wirfs-Brock
- commentid:
13357
- comment_count:
0
- who:
Michael Ficarra
- bug_when:
2015-02-25 15:17:11 -0800
There are no early errors that prevent a CatchParameter from having duplicate bindings. Is this a mistake?
- commentid:
13359
- comment_count:
1
- who:
Michael Ficarra
- bug_when:
2015-02-25 15:23:59 -0800
It seems that all other usages of BindingPattern disallow duplicates in the position it is used. Is there any reason these restrictions aren't consolidated to BindingPattern itself?
- commentid:
13390
- comment_count:
2
- who:
Allen Wirfs-Brock
- bug_when:
2015-02-26 09:50:19 -0800
fixed in rev35 editor's draft.
added the early error for catch production.
It's simply a factoring choice. Everywhere else BindingPattern is used it is in a list where the entire list has to be checked for duplicates. In all those cases, a rule at the BindingPattern level would be redundant
- commentid:
13511
- comment_count:
3
- who:
Allen Wirfs-Brock
- bug_when:
2015-03-04 18:58:17 -0800
fixed in rev35