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.

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

Fix list bounds when subrules are present #40

Merged
merged 5 commits into from
Aug 1, 2019

Conversation

JoeyEremondi
Copy link
Contributor

This adds a "bounds-coalescing" function to bounds.ml, which addresses the bug in #26, namely that nonterminals were appearing multiple times in produced lists, since they were being assigned non-matching bounds.

All tests in the regression suite show the same behaviour on my machine before and after the changes.

@JoeyEremondi JoeyEremondi changed the title Fix list bounds Fix list bounds when subrules are present Sep 4, 2018
JoeyEremondi added a commit to JoeyEremondi/ott that referenced this pull request Sep 6, 2018
@PeterSewell PeterSewell merged commit 1dd9328 into ott-lang:master Aug 1, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants