archives

« Bugzilla Issues Index

#2889 — Missing definition of /CurrentLabelSet/

• bug_id: 2889
• creation_ts: 2014-05-27 06:30:00 -0700
• short_desc: Missing definition of /CurrentLabelSet/
• delta_ts: 2014-05-27 06:58:10 -0700
• product: Draft for 6th Edition
• component: technical issue
• version: Rev 24: April 27, 2014 Draft
• rep_platform: All
• op_sys: All
• bug_status: RESOLVED
• resolution: DUPLICATE
• dup_id: 2696
• priority: Normal
• bug_severity: normal
• everconfirmed: true
• reporter: Claude Pache
• assigned_to: Allen Wirfs-Brock

---

• commentid: 8631
• comment_count: 0
• who: Claude Pache
• bug_when: 2014-05-27 06:30:09 -0700

In the Static Semantics of the continue and break statements with label (Sections 13.7.1 and 13.8.1, it is read:

It is a Syntax Error if ... does not appear in the /CurrentLabelSet/ of ...

It is nowhere defined what the /CurrentLabelSet/ is. On the other hand, in Section 13.12 (Labelled Statements), there is a note introducing informally the notion of "current label set".

One should either define what the /CurrentLabelSet/ of a LabelledStatement and of a IterationStatement is, or drop the notion of /CurrentLabelSet/ (and "current label set") and use instead a formulation similar to what is found in Labelled Statements > Static Semantics: Early Errors (Section 13.12.1).

---

• commentid: 8632
• comment_count: 1
• who: Claude Pache
• bug_when: 2014-05-27 06:58:10 -0700

The bug was in fact fixed in Rev 25 (and included in Bug 2696). Sorry for the noise.

*** This bug has been marked as a duplicate of bug 2696 ***