{"action":"closed","issue":{"url":"https://api.github.com/repos/python/mypy/issues/638","repository_url":"https://api.github.com/repos/python/mypy","labels_url":"https://api.github.com/repos/python/mypy/issues/638/labels{/name}","comments_url":"https://api.github.com/repos/python/mypy/issues/638/comments","events_url":"https://api.github.com/repos/python/mypy/issues/638/events","html_url":"https://github.com/python/mypy/issues/638","id":68491230,"node_id":"MDU6SXNzdWU2ODQ5MTIzMA==","number":638,"title":"Fall back to .py files if stub for library module is missing","user":{"login":"JukkaL","id":1107911,"node_id":"MDQ6VXNlcjExMDc5MTE=","avatar_url":"https://avatars2.githubusercontent.com/u/1107911?v=4","gravatar_id":"","url":"https://api.github.com/users/JukkaL","html_url":"https://github.com/JukkaL","followers_url":"https://api.github.com/users/JukkaL/followers","following_url":"https://api.github.com/users/JukkaL/following{/other_user}","gists_url":"https://api.github.com/users/JukkaL/gists{/gist_id}","starred_url":"https://api.github.com/users/JukkaL/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/JukkaL/subscriptions","organizations_url":"https://api.github.com/users/JukkaL/orgs","repos_url":"https://api.github.com/users/JukkaL/repos","events_url":"https://api.github.com/users/JukkaL/events{/privacy}","received_events_url":"https://api.github.com/users/JukkaL/received_events","type":"User","site_admin":false},"labels":[{"id":21488358,"node_id":"MDU6TGFiZWwyMTQ4ODM1OA==","url":"https://api.github.com/repos/python/mypy/labels/feature","name":"feature","color":"84b6eb","default":false},{"id":513232568,"node_id":"MDU6TGFiZWw1MTMyMzI1Njg=","url":"https://api.github.com/repos/python/mypy/labels/priority-2-low","name":"priority-2-low","color":"fffff8","default":false},{"id":608992726,"node_id":"MDU6TGFiZWw2MDg5OTI3MjY=","url":"https://api.github.com/repos/python/mypy/labels/topic-usability","name":"topic-usability","color":"d4c5f9","default":false}],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":18,"created_at":"2015-04-14T20:41:29Z","updated_at":"2018-07-08T02:44:33Z","closed_at":"2018-07-08T02:44:32Z","author_association":"COLLABORATOR","body":"If a program imports a (standard) library module that has no stub, mypy should look at the module implementation, if available. I.e., mypy should follow PYTHONPATH by default.\n\nWe should ignore errors in Python std lib modules and just try to infer which variables, types, functions, methods, etc. are defined in the library so that we can do basic type checking (e.g., checking argument names and counts when calling module-level functions) and we can use classes defined in the module in annotations.\n\nPrerequisites: Mypy should not crash or report a parse error for most Python 3.[234] standard library modules. There should a stub for most std lib C modules.\n\nOpen issues: What about errors in 3rd party library modules? Maybe we should silence them as well? We'd just infer as much as we can, but we probably shouldn't complain about them.\n"}}
{"actor":{"display_login":"gvanrossum"}}