Skip to content

bpo-43766: Implement PEP 647 (User-Defined Type Guards) in typing.py #25282

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
gvanrossum merged 13 commits into from
Apr 27, 2021
Merged

bpo-43766: Implement PEP 647 (User-Defined Type Guards) in typing.py #25282

Changes from 1 commit
Commits
Show all changes
13 commits
Select commit Hold shift + click to select a range
afbd42b
Implement PEP 647
Fidget-Spinner Apr 8, 2021
8c994a5
improve docs
Fidget-Spinner Apr 8, 2021
493b18d
delete redundant test
Fidget-Spinner Apr 8, 2021
eb8dc6b
Address some of Guido's doc comments
Fidget-Spinner Apr 11, 2021
49964fa
small typo
Fidget-Spinner Apr 11, 2021
fa736a7
Fix doc builder failures, add comment about no strict narrowing
Fidget-Spinner Apr 11, 2021
5e4c5f7
relax tests for arguments
Fidget-Spinner Apr 11, 2021
481b618
fix indentation, improve wording about unenforced narrowing
Fidget-Spinner Apr 11, 2021
7f3a113
Add note about class/instance methods, improve wording of type narrow…
Fidget-Spinner Apr 11, 2021
d2aaf76
Merge remote-tracking branch 'upstream/master' into pep647
Fidget-Spinner Apr 11, 2021
f015c82
inform the user that typeguard may fail at runtime even after passing…
Fidget-Spinner Apr 11, 2021
6731b24
Address Guido's docs reviews
Fidget-Spinner Apr 11, 2021
39e8d8e
fix formatting
Fidget-Spinner Apr 11, 2021
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
small typo
  • Loading branch information
@Fidget-Spinner
Fidget-Spinner committed Apr 11, 2021
commit 49964fa3c5945900f54294e5936ec80d81dfdd6d
2 changes: 1 addition & 1 deletion Lib/typing.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -577,7 +577,7 @@ def TypeGuard(self, parameters):
type checkers to determine a more precise type of an expression within a
program's code flow. Usually type narrowing is done by analyzing
conditional code flow and applying the narrowing to a block of code. The
conditional expression here is sometimes referred to as a "type guard"::
conditional expression here is sometimes referred to as a "type guard".

Sometimes, a type guard uses a user-defined checking function instead of
``isinstance`` or ``is None`` checks. These user-defined type guard
Expand Down