Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Nonterminals can have multiple instances of the same production #12

Open
akeep opened this issue Dec 26, 2016 · 0 comments
Open

Nonterminals can have multiple instances of the same production #12

akeep opened this issue Dec 26, 2016 · 0 comments
Assignees
@akeep
Labels
bug

Comments

@akeep
Copy link
Member

akeep commented Dec 26, 2016

@dybvig reports:

listing the same production twice for the same nonterminal should 
cause an error

This should be checked and an error raised.
@akeep akeep added the bug label Dec 26, 2016
@akeep akeep self-assigned this Dec 26, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@akeep akeep

Labels
bug
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@akeep