archives

« Bugzilla Issues Index

#2189 — 13.7 continue, 13.8 break: Pass "yield" parameter to IdentifierReference production

• bug_id: 2189
• creation_ts: 2013-11-04 08:26:00 -0800
• short_desc: 13.7 continue, 13.8 break: Pass "yield" parameter to IdentifierReference production
• delta_ts: 2013-11-08 13:09:01 -0800
• product: Draft for 6th Edition
• component: technical issue
• version: Rev 20: October 28, 2013 Draft
• rep_platform: All
• op_sys: All
• bug_status: RESOLVED
• resolution: FIXED
• priority: Normal
• bug_severity: normal
• everconfirmed: true
• reporter: André Bargull
• assigned_to: Allen Wirfs-Brock

---

• commentid: 6434
• comment_count: 0
• who: André Bargull
• bug_when: 2013-11-04 08:26:46 -0800

13.7 The continue Statement
13.8 The break Statement

Pass "yield" parameter to IdentifierReference and remove the production rule for "[~yield]" in ContinueStatement and BreakStatement.

Reasoning:

12.1.2:
IdentifierReference[yield] :
Identifier
[~yield] yield

13.8:
BreakStatement[yield]:
break IdentifierReference ;
[~yield] break yield ;


Per 5.1.5, IdentifierReference[yield] expands to:

IdentifierReference :
Identifier
yield

IdentifierReferenceYield :
Identifier


And BreakStatement[yield] expands to:

BreakStatement:
break IdentifierReference ;
break yield ;

BreakStatementYield:
break IdentifierReference ;


Combining these rules gives:

BreakStatement:
break Identifier ;
break yield ;
break yield ;

BreakStatementYield:
break Identifier ;
break yield ;


Which looks wrong, I'd expect these rules:

BreakStatement:
break Identifier ;
break yield ;

BreakStatementYield:
break Identifier ;

---

• commentid: 6455
• comment_count: 1
• who: Allen Wirfs-Brock
• bug_when: 2013-11-04 09:45:44 -0800

fixed in rev21 editor's draft

---

• commentid: 6537
• comment_count: 2
• who: Allen Wirfs-Brock
• bug_when: 2013-11-08 13:09:01 -0800

fixed in rev21 draft