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

Error recovery #2038

Merged
merged 286 commits into from
Feb 13, 2025
Merged

Error recovery #2038

merged 286 commits into from
Feb 13, 2025

Conversation

PieterOlivier
Copy link
Contributor

@PieterOlivier PieterOlivier commented Oct 4, 2024

This is a feature-tracking PR, will remain draft while we are working on the error recovery feature. Other smaller PRs will target this branch, and when ready we can merge this one. Where possible we try to do most of the reviewing in the open PRs that target the error-recovery branch, but sometimes stuff is missed there, and then it's better to comment on changes in this global-tracking-PR.

History:

@PieterOlivier PieterOlivier mentioned this pull request Feb 11, 2025
@PieterOlivier PieterOlivier marked this pull request as ready for review February 13, 2025 08:05
@DavyLandman
Copy link
Member

What a great effort! Thanks everyone involved in making this work.

I'll be merging this PR now. It will be an experimental feature of the parse function, and in upcoming PRs we'll be working on integrating error trees with other rascal features. So if someone starts using it: be warned, this might change a bit along the way.

@DavyLandman DavyLandman merged commit 04a5cbb into main Feb 13, 2025
6 of 7 checks passed
@DavyLandman DavyLandman deleted the feat/error-recovery branch March 10, 2025 22:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants