FazBrowse GitHub Viewer | Trending |
URL:
| Home
Tools: [Download Repo ZIP]   [Original HTTPS Page]

Weaken return type of Path.{glob,rglob} in 3.13 by cjwatson · Pull Request #13223 · python/typeshed · GitHub

Repository navigation

Weaken return type of Path.{glob,rglob} in 3.13 - #13223

Merged
srittau merged 2 commits into
python:mainfrom
cjwatson:pathlib-glob-py313
Feb 28, 2025
Merged

srittau merged 2 commits into
python:mainfrom
cjwatson:pathlib-glob-py313

Conversation

cjwatson commented Dec 8, 2024

Copy link
Copy Markdown
Contributor

Since python/cpython#117589 (at least), Path.glob and Path.rglob return an Iterator rather than a Generator.

Since python/cpython#117589 (at least),
`Path.glob` and `Path.rglob` return an `Iterator` rather than a
`Generator`.

This comment has been minimized.

srittau left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Choose a reason Spam Abuse Off Topic Outdated Duplicate Resolved Low Quality

Thanks!

Copy link
Copy Markdown
Contributor

According to mypy_primer, this change has no effect on the checked open source code. 🤖🎉

srittau merged commit 8ebf8af into python:main Feb 28, 2025
cjwatson deleted the pathlib-glob-py313 branch February 28, 2025 11:22
mmingyu pushed a commit to mmingyu/typeshed that referenced this pull request May 16, 2025
Since python/cpython#117589 (at least),
`Path.glob` and `Path.rglob` return an `Iterator` rather than a
`Generator`.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
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


Back | FazBrowse Home | New Git URL