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

Use prelude when possible #247

Merged
merged 2 commits into from
Feb 9, 2025

Conversation

filipeom
Copy link
Member

@filipeom filipeom commented Feb 9, 2025

Closes #147

This is a good step in the right direction in removing polymorphic
comparasions and such. We still need to replace the `Str` usage with
`Re` for proper and efficient regular expressions.
@filipeom filipeom added the no changelog Skip changelog CI check label Feb 9, 2025
@filipeom filipeom merged commit 25e2977 into formalsec:main Feb 9, 2025
3 of 4 checks passed
@filipeom filipeom deleted the use-prelude-when-possible branch February 9, 2025 19:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
no changelog Skip changelog CI check
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Use prelude
1 participant