Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings

gh-130167: Improve speed of difflib.IS_LINE_JUNK by replacing re #130170

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

Merged
merged 13 commits into from
May 1, 2025
Prev Previous commit
Next Next commit
Update difflib
  • Loading branch information
donBarbos committed Feb 18, 2025
commit 0e7293d752be5d54cca43625b95a6afbefb61176
3 changes: 1 addition & 2 deletions 3 Lib/difflib.py
Original file line number Diff line number Diff line change
Expand Up @@ -1053,8 +1053,7 @@ def IS_LINE_JUNK(line, pat=None):
"""

if pat is None:
stripped = line.strip()
return stripped == '' or stripped == '#'
return line.strip() in ('', '#')
donBarbos marked this conversation as resolved.
Show resolved Hide resolved
return pat(line) is not None

def IS_CHARACTER_JUNK(ch, ws=" \t"):
Expand Down
Loading
Morty Proxy This is a proxified and sanitized view of the page, visit original site.