Skip to content

Conversation

mtzguido
Copy link
Member

@mtzguido mtzguido commented Aug 15, 2025

Note: the parser is spitting out a lot of conflicts.

Warning: 28 states have shift/reduce conflicts.
Warning: one state has reduce/reduce conflicts.
Warning: 338 shift/reduce conflicts were arbitrarily resolved.
Warning: one reduce/reduce conflict was arbitrarily resolved.
Warning: 232 end-of-stream conflicts were arbitrarily resolved.

These are not introduced (nor fixed) by this patch.

@mtzguido mtzguido enabled auto-merge August 15, 2025 18:34
@mtzguido mtzguido force-pushed the pars branch 2 times, most recently from 5fc799b to 0e6bf41 Compare August 15, 2025 20:10
Just a simple range fix
Note: the parser is spitting out a lot of conflicts.

	Warning: 28 states have shift/reduce conflicts.
	Warning: one state has reduce/reduce conflicts.
	Warning: 338 shift/reduce conflicts were arbitrarily resolved.
	Warning: one reduce/reduce conflict was arbitrarily resolved.
	Warning: 232 end-of-stream conflicts were arbitrarily resolved.

These are not introduced (nor fixed) by this patch.
@mtzguido mtzguido merged commit 5080e77 into FStarLang:main Aug 15, 2025
1 check passed
@mtzguido mtzguido deleted the pars branch August 15, 2025 21:26
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.

1 participant