Skip to content

Replace various Incompletes in stdlib #11673

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.

Sign up for GitHub

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
AlexWaygood merged 14 commits into from
Apr 1, 2024
Merged

Replace various Incompletes in stdlib #11673

Changes from 1 commit
Commits
Show all changes
14 commits
Select commit Hold shift + click to select a range
14cfa62
Replace various Incompletes in stdlib
srittau Mar 30, 2024
c921c55
Add missing Generic marker
srittau Mar 30, 2024
b552350
Add an explanatory comment
srittau Mar 30, 2024
d51b3de
ResourceHandle.open() had a bug upstream
srittau Mar 30, 2024
eefbc2d
[pre-commit.ci] auto fixes from pre-commit.com hooks
pre-commit-ci[bot] Mar 30, 2024
2c76845
Add defaults to TextIOWrapper
srittau Mar 30, 2024
3e0bb77
Match ResourceHandle.open() to ABC
srittau Mar 30, 2024
48d2464
Update stdlib/importlib/resources/simple.pyi
srittau Apr 1, 2024
3d98255
Merge branch 'main' into typing-incompletes
srittau Apr 1, 2024
35439f3
[pre-commit.ci] auto fixes from pre-commit.com hooks
pre-commit-ci[bot] Apr 1, 2024
d60e8c9
Update simple.pyi
AlexWaygood Apr 1, 2024
def5de0
Merge branch 'main' into typing-incompletes
srittau Apr 1, 2024
a0580f3
Make _R covariant
srittau Apr 1, 2024
b77a5cb
Fix typevar name
srittau Apr 1, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
[pre-commit.ci] auto fixes from pre-commit.com hooks
  • Loading branch information
@pre-commit-ci
pre-commit-ci[bot] committed Apr 1, 2024
commit 35439f390b2a19784c097f9e4949e2261e6ac3db
2 changes: 1 addition & 1 deletion stdlib/importlib/resources/simple.pyi
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -39,7 +39,7 @@ if sys.version_info >= (3, 11):
@overload
def open(self, mode: Literal["rb"]) -> BinaryIO: ...
Comment thread
srittau marked this conversation as resolved.
Comment on lines +30 to +40
Copy link
Copy Markdown
Member

@AlexWaygood AlexWaygood Apr 1, 2024

Choose a reason for hiding this comment

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

These overloads are a lot more selective than they used to be. On main, the first overload matches if any of these strings is passed in as a literal string:

typeshed/stdlib/_typeshed/__init__.pyi

Lines 164 to 199 in 0cea0bc

OpenTextModeUpdating: TypeAlias = Literal[
"r+",
"+r",
"rt+",
"r+t",
"+rt",
"tr+",
"t+r",
"+tr",
"w+",
"+w",
"wt+",
"w+t",
"+wt",
"tw+",
"t+w",
"+tw",
"a+",
"+a",
"at+",
"a+t",
"+at",
"ta+",
"t+a",
"+ta",
"x+",
"+x",
"xt+",
"x+t",
"+xt",
"tx+",
"t+x",
"+tx",
]
OpenTextModeWriting: TypeAlias = Literal["w", "wt", "tw", "a", "at", "ta", "x", "xt", "tx"]
OpenTextModeReading: TypeAlias = Literal["r", "rt", "tr", "U", "rU", "Ur", "rtU", "rUt", "Urt", "trU", "tUr", "Utr"]

And similarly, the second overload on main matches if any of these strings is passed in as a literal string:

typeshed/stdlib/_typeshed/__init__.pyi

Lines 201 to 228 in 0cea0bc

OpenBinaryModeUpdating: TypeAlias = Literal[
"rb+",
"r+b",
"+rb",
"br+",
"b+r",
"+br",
"wb+",
"w+b",
"+wb",
"bw+",
"b+w",
"+bw",
"ab+",
"a+b",
"+ab",
"ba+",
"b+a",
"+ba",
"xb+",
"x+b",
"+xb",
"bx+",
"b+x",
"+bx",
]
OpenBinaryModeWriting: TypeAlias = Literal["wb", "bw", "ab", "ba", "xb", "bx"]
OpenBinaryModeReading: TypeAlias = Literal["rb", "br", "rbU", "rUb", "Urb", "brU", "bUr", "Ubr"]

What's the reason for changing it so that the first overload only matches if a literal "r" is passed in, and so that the second overload only matches if a literal "rb" is passed in?

Copy link
Copy Markdown
Collaborator Author

@srittau srittau Apr 1, 2024 •
edited
Loading

Choose a reason for hiding this comment

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

It's now matching the documentation of Traversable. All other modes make no sense and are likely a bug: https://github.com/python/cpython/blob/dd44ab994b7262f0704d64996e0a1bc37b233407/Lib/importlib/resources/simple.py#L88-L92

(You could argue for allowing br, but there's really no case for using this non-standard ordering.)

Copy link
Copy Markdown
Collaborator Author

@srittau srittau Apr 1, 2024 •
edited
Loading

Choose a reason for hiding this comment

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

In theory, we could also allow "" and "b", but this is also non-standard according to the docs.

Copy link
Copy Markdown
Member

@AlexWaygood AlexWaygood Apr 1, 2024

Choose a reason for hiding this comment

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

Okiedokie

@overload
def open(self, mode: str) -> IO[Any]: ...
def open(self, mode: str) -> IO[Any]: ...
def joinpath(self, name: Never) -> NoReturn: ... # type: ignore[override]

class ResourceContainer(Traversable, metaclass=abc.ABCMeta):
Expand Down