LabelledIdentifier is not used when evaluating LabelledStatement

[nanto]

[JP22] In 13.13.15, LabelledIdentifier of LabelledStatement is not used. LabelledIdentifiers are ignored unless the labelled statements are nested. To use LabelledIdentifier, 13.13.15 step 2 can be:

Return LabelledEvaluation of this LabelledStatement with argument newLabelSet.

[allenwb]

While it is sometimes necessary to apply an abstract operation to a production LHS, it is something that I think can be confusing. To avoid that, instead of the fix suggested above, I would simply add a new step after step one that says:

Append the string value of LabelIdentifier to newLabelSet.

[allenwb]

While it is sometimes necessary to apply an abstract operation to a production LHS, it is something that I think can be confusing. To avoid that, instead of the fix suggested above, I would simply add a new step after step one that says:

Append the string value of LabelIdentifier to newLabelSet.

[anba]

Simply appending the label identifier to newLabelSet does not work, because break abrupt completions also need to be handled.

[anba]

Simply appending the label identifier to newLabelSet does not work, because break abrupt completions also need to be handled.

[allenwb]

@anba
Yup, as usual you're correct.

So, the original fix is fine.

[allenwb]

@anba
Yup, as usual you're correct.

So, the original fix is fine.

[nanto]

A production LHS is also used in 13.1.8, evaluation of BreakableStatement.

[nanto]

A production LHS is also used in 13.1.8, evaluation of BreakableStatement.