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

Misc fixes #101

Merged
merged 6 commits into from
Mar 1, 2024
Merged

Misc fixes #101

merged 6 commits into from
Mar 1, 2024

Conversation

purcell
Copy link
Contributor

@purcell purcell commented Mar 1, 2024

I saw a few small things that warranted tidying up, but just be warned that I've not tested this extensively. Let's see what the CI says.

@joachimschmidt557
Copy link
Member

Apart from the green CI, the changes also look good to me when testing locally. Thanks a lot!

@joachimschmidt557 joachimschmidt557 merged commit b6f5375 into ziglang:master Mar 1, 2024
14 checks passed
@purcell
Copy link
Contributor Author

purcell commented Mar 1, 2024

Great, thanks.

@purcell purcell deleted the misc-fixes branch March 1, 2024 16:19
@purcell
Copy link
Contributor Author

purcell commented Mar 1, 2024

I stopped short of converting the regexps to rx, which would be a nice tidy-up, but requires a bit more testing.

@joachimschmidt557
Copy link
Member

I stopped short of converting the regexps to rx, which would be a nice tidy-up, but requires a bit more testing.

I tried that ~2 years ago when we still supported older Emacsen with reduced rx support and quickly gave up. This might be more viable nowadays as we have dropped support for some older versions.

@joachimschmidt557
Copy link
Member

Ah, found what I was talking about: #45

I didn't "give up", it got merged but broke the CI because of limited support for older versions.

@purcell
Copy link
Contributor Author

purcell commented Mar 1, 2024

Ah nice. I might take a fresh look if I feel in the mood for more random tinkering.

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