8000 Accept compatible dict in place of TypedDict by pkch · Pull Request #3035 · python/mypy · GitHub
[go: up one dir, main page]
Skip to content

Accept compatible dict in place of TypedDict #3035

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 6 commits into from
Mar 31, 2017
Merged

Accept compatible dict in place of TypedDict #3035

Changes from 1 commit
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
5bd90ea
Accept compatible dict in place of TypedDict
pkch Mar 20, 2017
3f21077
Remove unneeded syntax from # E:
pkch Mar 20, 2017
eb6914a
Suppress second error message when using wrong TypedDict fields
pkch Mar 21, 2017
f980adc
Add tests
pkch Mar 21, 2017
f19eb1e
Typo
pkch Mar 21, 2017
c0c9bfe
Add comment
pkch Mar 21, 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
Typo
  • Loading branch information
@pkch
pkch committed Mar 21, 2017
commit f19eb1ee210bf48ec8c820da9dc07da13d8975c9
2 changes: 1 addition & 1 deletion test-data/unit/check-typeddict.test
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -638,7 +638,7 @@ from mypy_extensions import TypedDict

Point = TypedDict('Point', {'x': int, 'y': int})

p1: Point = {'x': 'hi'} # # E: Expected items ['x', 'y'] but found ['x'].
p1: Point = {'x': 'hi'} # E: Expected items ['x', 'y'] but found ['x'].

p2: Point
p2 = dict(x='bye') # E: Expected items ['x', 'y'] but found ['x'].
Expand Down
0