-
Notifications
You must be signed in to change notification settings - Fork 31
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
Errors in catching incorrectly terminated productions #463
Comments
bendrissou
changed the title
Errors: catching incorrectly terminated productions
Errors in catching incorrectly terminated productions
Jun 13, 2024
@bendrissou Can you send me a complete grammar that shows this problem please? I may well have made a mistake! |
ltratt
added a commit
to ltratt/grmtools
that referenced
this issue
Jun 13, 2024
This is a classic copy and paste mistake on my part: I didn't think carefully enough about the `syms.is_empty()` clause. Problem reported by Bachir Bendrissou in softdevteam#463.
ltratt
added a commit
to ltratt/grmtools
that referenced
this issue
Jun 13, 2024
This is a classic copy and paste mistake on my part: I didn't think carefully enough about the `syms.is_empty()` clause. Fixes softdevteam#463.
I can confirm that this is due to a mistake on my part -- thanks for reporting! |
@bendrissou This should now be fixed. |
Thank you for the prompt fix. Things are looking good now. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Hi,
After the last merge, some of my projects are failing to build.
I don't think I have any grammar rules of the form:
But I do have rules like:
Do you think that is an incorrectly terminated production?
Thank you.
The text was updated successfully, but these errors were encountered: