Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.
Sign up13.13.15 Evaluation of LabelledStatement, step 2: LabelledItem → LabelledStatement #217
Comments
This comment has been minimized.
Show comment
Hide comment
This comment has been minimized.
Show comment
Hide comment
|
Oops, duplicate of #188. |
claudepache
closed this
Nov 24, 2015
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
claudepache commentedNov 24, 2015
In 13.13.15 Labelled Statements / Runtime Semantics: Evaluation.
It seems to me that Step 2 should be:
LabelledItemLabelledStatement with argument newLabelSet.`Otherwise, the LabelIdentifier is not used.