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

Give better warnings if lexer/grammar can't be read at build time. #459

Merged
merged 1 commit into from
Jun 4, 2024

Conversation

ltratt
Copy link
Member

@ltratt ltratt commented Jun 4, 2024

If the user gave an incorrect path, they got an internal unwrap, or similarly unhelpful message, from lrlex and lrpar. This commit tells them what file was attempting to be read, which makes working out what's actually gone wrong much easier.

If the user gave an incorrect path, they got an internal `unwrap`, or
similarly unhelpful message, from lrlex and lrpar. This commit tells
them what file was attempting to be read, which makes working out what's
actually gone wrong much easier.
@ltratt
Copy link
Member Author

ltratt commented Jun 4, 2024

@ratmice Feel free to press the "merge" button if the PR works for you -- you have full rights on this repo!

@ratmice ratmice added this pull request to the merge queue Jun 4, 2024
Merged via the queue into softdevteam:master with commit ff41257 Jun 4, 2024
2 checks passed
@ratmice
Copy link
Collaborator

ratmice commented Jun 4, 2024

Thanks, I was just about to ask about how we want to handle that since things have changed a little bit in the review process now that we don't use bors any longer.

@ltratt
Copy link
Member Author

ltratt commented Jun 4, 2024

Yeah it's a bit messy, but the "merge" button hands things over to Buildbot, at which point it's the same as the bors days! I mostly miss bors try...

@ltratt ltratt deleted the better_file_warning branch June 14, 2024 09:38
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