Skip to content

Further improvements on error message reporting#3859

Merged
unp1 merged 10 commits into
mainfrom
improveErrorMessages2
Jun 23, 2026
Merged

Further improvements on error message reporting#3859
unp1 merged 10 commits into
mainfrom
improveErrorMessages2

Error reporting: point multi-error syntax errors at the missing-token…

e553154
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
integration-tests (testProveRules, ubuntu-latest, 21)
succeeded Jun 23, 2026 in 2m 56s