New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Annex B.1.3 MultiLineComment grammar #941

Closed
bathos opened this Issue Jun 24, 2017 · 1 comment

Comments

Projects
None yet
1 participant
@bathos
Contributor

bathos commented Jun 24, 2017

The Annex B alternative definition for MultiLineComment is given as:

screen shot 2017-06-23 at 10 31 22 pm

Looking at other examples from Annex B, it seems as though these alternative productions represent complete replacements, not just additional right hand sides to tack on. Unless I’m mistaken about that, it seems like this alternative definition is precluding /**/ comments without LineTerminators within. It seems like it should actually be something like:

screen shot 2017-06-23 at 10 35 10 pm

@bathos

This comment has been minimized.

Show comment
Hide comment
@bathos

bathos Jun 24, 2017

Contributor

derp — looks like SingleLineDelimitedComment covers it. Name threw me off!

Contributor

bathos commented Jun 24, 2017

derp — looks like SingleLineDelimitedComment covers it. Name threw me off!

@bathos bathos closed this Jun 24, 2017

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment