Skip to content

[Reverted] Fixes to union simplification, isinstance and more #3025

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
JukkaL merged 19 commits into from
Mar 29, 2017
Merged

[Reverted] Fixes to union simplification, isinstance and more #3025

Changes from 1 commit
Commits
Show all changes
19 commits
Select commit Hold shift + click to select a range
c53e0ca
Fixes to union simplification and isinstance
JukkaL Mar 14, 2017
dc62a99
Fix #2978.
JukkaL Mar 14, 2017
07d64f5
Add test case
JukkaL Mar 14, 2017
0beffee
Fix test failures
JukkaL Mar 15, 2017
e3ff2c7
Fix meet of a broken named tuple and a good named tuple
JukkaL Mar 18, 2017
4cb8673
Fix erasing union types
JukkaL Mar 19, 2017
fc57a76
Remove references to Void
JukkaL Mar 19, 2017
9cf9114
Proper subtype checks use type promotions
JukkaL Mar 20, 2017
d406157
Don't call union simplification during semantic analysis
JukkaL Mar 20, 2017
d745a50
Add union simplification test cases
JukkaL Mar 20, 2017
a638e72
Address review feedback
JukkaL Mar 24, 2017
ca511d8
Fix test case failures
JukkaL Mar 24, 2017
807924c
Flatten Optional[Union[...]] types
JukkaL Mar 24, 2017
ef46cfa
Add TODO comment about make_simplified_union
JukkaL Mar 27, 2017
6cd09f1
Add test case
JukkaL Mar 27, 2017
39f94a1
Partially address comments about type object types
JukkaL Mar 27, 2017
0826cc3
Fixes to TypedDict proper subtype checks + add tests
JukkaL Mar 27, 2017
baafcd1
Merge branch 'master' into proper-subtype
JukkaL Mar 27, 2017
a06b41c
Merge branch 'master' into proper-subtype
JukkaL Mar 29, 2017
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
Add test case 
Fix #1914.
  • Loading branch information
@JukkaL
JukkaL committed Mar 20, 2017
commit 07d64f5c9cb98e89754bd5e5104e76fd71c280f3
15 changes: 15 additions & 0 deletions test-data/unit/check-unions.test
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -280,3 +280,18 @@ from typing import Union
class A: pass
def f(x: Union[int, str, A]):
x + object() # E: Unsupported left operand type for + (some union)

[case testNarrowingDownNamedTupleUnion]
from typing import NamedTuple, Union

A = NamedTuple('A', [('y', int)])
B = NamedTuple('B', [('x', int)])
C = NamedTuple('C', [('x', int)])

def foo(a: Union[A, B, C]):
if isinstance(a, (B, C)):
reveal_type(a) # E: Revealed type is 'Union[Tuple[builtins.int, fallback=__main__.B], Tuple[builtins.int, fallback=__main__.C]]'
a.x
a.y # E: Some element of union has no attribute "y"
b = a # type: Union[B, C]
[builtins fixtures/isinstance.pyi]