8000 Suppress untyped defs error in typeshed stubs by ddfisher · Pull Request #1554 · python/mypy · GitHub
[go: up one dir, main page]

Skip to content

Suppress untyped defs error in typeshed stubs #1554

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.

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 2 commits into from
May 19, 2016

Conversation

ddfisher
Copy link
Collaborator

See discussion here: python/typeshed#214

The check for if a file is a typeshed file is hackier than I'd like, but it isn't clear to me that there's a better way to do it.

@@ -375,6 +377,7 @@ class TypeChecker(NodeVisitor[Type]):
disallow_untyped_defs = False
# Should we check untyped function defs?
check_untyped_defs = False
is_typeshed_file = False
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'd rename this to is_typeshed_stub.

@gvanrossum
Copy link
Member

Otherwise LG.

@ddfisher ddfisher merged commit 88b0098 into python:master May 19, 2016
gvanrossum pushed a commit that referenced this pull request May 28, 2016
* Suppress untyped defs error in typeshed stubs

* change name
@ddfisher ddfisher deleted the PR/untyped-defs branch July 21, 2016 22:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants
0