Skip to content

Conversation

@sampottinger
Copy link
Collaborator

Superceeds #747 and #748. This is for Google Summer of Code project on friendly error messages (see #741). This is led by @WillRabalais04.

@sampottinger
Copy link
Collaborator Author

I've merged #715, #716, and #721 to unblock this though have not made a new release. CC @SableRaf. This was because error highlighting needed to be fixed in order for us to see if the rewriting was functioning correctly. In conversation with others who have done GSoC before, it is ideal if we have a clean diff to submit to Google later so pulled all three to main. However, I have not made a release.

@sampottinger
Copy link
Collaborator Author

Superseded by #771

@github-actions github-actions bot locked as resolved and limited conversation to collaborators Aug 15, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants