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

Change `sys.lazy_modules` type from dict back to set by johnslavik · Pull Request #15815 · python/typeshed · GitHub

Change sys.lazy_modules type from dict back to set - #15815

Closed
johnslavik wants to merge 2 commits into
python:mainfrom
johnslavik:sys-lazy-modules
Closed

Change sys.lazy_modules type from dict back to set#15815
johnslavik wants to merge 2 commits into
python:mainfrom
johnslavik:sys-lazy-modules

Conversation

johnslavik commented May 20, 2026
edited by srittau
Loading

Copy link
Copy Markdown
Member

See python/cpython#150014.


2026-05-20 (@srittau) Marked as deferred, until 2.15.0a2 is released.

Copy link
Copy Markdown
Contributor

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

Copy link
Copy Markdown
Member Author

Stubtests fail because the patch wasn't released yet.

srittau added the status: deferred Issue or PR deferred until some precondition is fixed label May 20, 2026

srittau commented May 20, 2026

Copy link
Copy Markdown
Collaborator

I've marked this as deferred for now, until the alpha with this change makes it into GitHub actions.

Copy link
Copy Markdown
Member

Ah I made this change as part of #15863, sorry. Thanks for the PR!

AlexWaygood closed this Jun 7, 2026

brianschubert commented Jun 7, 2026
edited
Loading

Copy link
Copy Markdown
Collaborator

Superseded by #15863, thanks in any case!

edit: darn ninjas... @AlexWaygood

Copy link
Copy Markdown
Member Author

Ah I made this change as part of #15863, sorry. Thanks for the PR!

Great, thanks for taking care of this @AlexWaygood @brianschubert!

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

status: deferred Issue or PR deferred until some precondition is fixed

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants


Back | FazBrowse Home | New Git URL