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

Rewrite regex filters on text() and binary() #3898

Merged
merged 1 commit into from
Feb 27, 2024

Conversation

Zac-HD
Copy link
Member

@Zac-HD Zac-HD commented Feb 26, 2024

Turns out that all the hard parts were handled in #3730 and #3839, which is pretty convenient!

Closes #3795; length bounds are already done and I don't think any of the other listed-as-optional ideas are worth the trouble.

@Zac-HD Zac-HD added the performance go faster! use less memory! label Feb 26, 2024
@Zac-HD Zac-HD force-pushed the more-rewrites branch 2 times, most recently from b1b7e80 to 0c4ead0 Compare February 26, 2024 09:19
@Zac-HD
Copy link
Member Author

Zac-HD commented Feb 26, 2024

OK, it looks like this basically works; it's just that the pretty-printer ...doesn't pretty-print bound methods of compiled regex patterns under PyPy. Maybe something to do with builtin_method type being different? Anyway, I'm done for the night and will come back later.

@Zac-HD Zac-HD force-pushed the more-rewrites branch 2 times, most recently from ec7dad6 to 6816a6c Compare February 27, 2024 08:07
@Zac-HD Zac-HD merged commit c27727f into HypothesisWorks:master Feb 27, 2024
48 checks passed
@Zac-HD Zac-HD deleted the more-rewrites branch February 27, 2024 09:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
performance go faster! use less memory!
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Filter-rewriting 2: rewrite harder
1 participant