8000 Exhaustiveness checking for match statements by JukkaL · Pull Request #12267 · python/mypy · GitHub
[go: up one dir, main page]
Skip to content

Exhaustiveness checking for match statements #12267

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
merged 23 commits into from
Mar 7, 2022
Merged

Exhaustiveness checking for match statements #12267

Changes from 1 commit
Commits
Show all changes
23 commits
Select commit Hold shift + click to select a range
2611300
Add exhaustiveness checking
freundTech Oct 13, 2021
8b44585
Improve exhaustiveness checking and add enum support
freundTech Oct 16, 2021
33b1700
Remove outdated comment
freundTech Oct 16, 2021
f13c377
Final cleanup
freundTech Oct 28, 2021
63faf94
Fix
JukkaL Feb 28, 2022
5d82b79
Fix test case
JukkaL Feb 28, 2022
a36749a
Skip test case (testLiteralPatternEnumCustomEquals)
JukkaL Feb 28, 2022
e14bffb
Update test cases
JukkaL Feb 28, 2022
1246bb7
Add docstrings
JukkaL Feb 28, 2022
a7a3ec9
Fix unreachable code after "case True"
JukkaL Feb 28, 2022
1095852
Support narrowing down bool values
JukkaL Feb 28, 2022
d3d04f9
Fix type check
JukkaL Mar 1, 2022
81bf0a0
Remove unused function
JukkaL Mar 1, 2022
2969fac
Rename and restructure match statement test cases
JukkaL Mar 1, 2022
8eb2dc9
Some clean-up
JukkaL Mar 1, 2022
1de6aa3
More cleanup
JukkaL Mar 1, 2022
a79c4c2
Add failing test case
JukkaL Mar 1, 2022
14fd60c
Add break/continue test case
JukkaL Mar 1, 2022
4a96bca
Add test case
JukkaL Mar 1, 2022
e21b1ce
Add failing test case
JukkaL Mar 1, 2022
0892388
Small tweaks
JukkaL Mar 1, 2022
1d2a037
Remove unneeded change in subtype checking
JukkaL Mar 3, 2022
a2fa4ae
Address feedback
JukkaL Mar 3, 2022
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
Fix type check
  • Loading branch information
@JukkaL
JukkaL committed Mar 1, 2022
commit d3d04f9e15ee9feb3ceba73fcefd631f76a433fb
1 change: 1 addition & 0 deletions mypy/checkpattern.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -693,6 +693,7 @@ def get_var(expr: Expression) -> Var:


def get_type_range(typ: Type) -> 'mypy.checker.TypeRange':
typ = get_proper_type(typ)
if (isinstance(typ, Instance)
and typ.last_known_value
and isinstance(typ.last_known_value.value, bool)):
Expand Down
0