8000 Function compatibility rewrite by sixolet · Pull Request #2521 · python/mypy · GitHub
[go: up one dir, main page]
Skip to content

Function compatibility rewrite #2521

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 18 commits into from
Dec 22, 2016
Merged

Function compatibility rewrite #2521

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
18 commits
Select commit Hold shift + click to select a range
bb05f3c
New algorithm for checking function compatibility.
sixolet Nov 11, 2016
8b3b788
Rename argument shorter
sixolet Dec 1, 2016
5e68ee3
Explain what i am doing better
sixolet Dec 2, 2016
8bf9c53
Stop checking argument names for multiple base classes
sixolet Dec 3, 2016
1e4d467
Elide __foo argument names from funcs where args are not typed
sixolet Dec 10, 2016
c42bd86
Cosmetic
sixolet Dec 10, 2016
c8d4458
Make the text descriptions of args more concise
sixolet Dec 10, 2016
d7df8cd
Account for one left argument with two corresponding right args
sixolet Dec 10, 2016
d811a82
cosmetic
sixolet Dec 10, 2016
95d1c58
cosmetic
sixolet Dec 10, 2016
d752499
Remove `In class foo`
sixolet Dec 10, 2016
499e1d2
Factor out corresponding_argument method
sixolet Dec 21, 2016
7617eac
Optional for the name and pos
sixolet Dec 21, 2016
77c8f73
typo
sixolet Dec 22, 2016
62fd868
Ignore implicitly typed function arg names
sixolet Dec 22, 2016
5c6d574
Test for ignoring arg names for implicit defs
sixolet Dec 22, 2016
4397926
Fix tests
sixolet Dec 22, 2016
2a07da8
Delete tests for implicit callable lacking names as they make no sens…
sixolet Dec 22, 2016
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
Stop checking argument names for multiple base classes
  • Loading branch information
@sixolet
sixolet committed Dec 21, 2016
commit 8bf9c533921cfb25a4b9aa69ced338d8270c7e07
2 changes: 1 addition & 1 deletion mypy/checker.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1043,7 +1043,7 @@ def check_compatibility(self, name: str, base1: TypeInfo,
# Method override
first_sig = bind_self(first_type)
second_sig = bind_self(second_type)
ok = is_subtype(first_sig, second_sig)
ok = is_subtype(first_sig, second_sig, ignore_pos_arg_names=True)
elif first_type and second_type:
ok = is_equivalent(first_type, second_type)
else:
Expand Down
7 changes: 5 additions & 2 deletions mypy/subtypes.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -64,8 +64,11 @@ def ignore_tvars(s: Type, t: Type, v: int) -> bool:


def is_equivalent(a: Type, b: Type,
type_parameter_checker: TypeParameterChecker = check_type_parameter) -> bool:
return is_subtype(a, b, type_parameter_checker) and is_subtype(b, a, type_parameter_checker)
type_parameter_checker: TypeParameterChecker = check_type_parameter,
*, ignore_pos_arg_names=False) -> bool:
return (
is_subtype(a, b, type_parameter_checker, ignore_pos_arg_names=ignore_pos_arg_names)
and is_subtype(b, a, type_parameter_checker, ignore_pos_arg_names=ignore_pos_arg_names))


def satisfies_upper_bound(a: Type, upper_bound: Type) -> bool:
Expand Down
0