{"action":"closed","issue":{"url":"https://api.github.com/repos/JukkaL/mypy/issues/882","labels_url":"https://api.github.com/repos/JukkaL/mypy/issues/882/labels{/name}","comments_url":"https://api.github.com/repos/JukkaL/mypy/issues/882/comments","events_url":"https://api.github.com/repos/JukkaL/mypy/issues/882/events","html_url":"https://github.com/JukkaL/mypy/issues/882","id":108740088,"number":882,"title":"Integrate typeshed into mypy","user":{"login":"matthiaskramm","id":306087,"avatar_url":"https://avatars.githubusercontent.com/u/306087?v=3","gravatar_id":"","url":"https://api.github.com/users/matthiaskramm","html_url":"https://github.com/matthiaskramm","followers_url":"https://api.github.com/users/matthiaskramm/followers","following_url":"https://api.github.com/users/matthiaskramm/following{/other_user}","gists_url":"https://api.github.com/users/matthiaskramm/gists{/gist_id}","starred_url":"https://api.github.com/users/matthiaskramm/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/matthiaskramm/subscriptions","organizations_url":"https://api.github.com/users/matthiaskramm/orgs","repos_url":"https://api.github.com/users/matthiaskramm/repos","events_url":"https://api.github.com/users/matthiaskramm/events{/privacy}","received_events_url":"https://api.github.com/users/matthiaskramm/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/JukkaL/mypy/labels/enhancement%20proposal","name":"enhancement proposal","color":"bfdadc"}],"state":"closed","locked":false,"assignee":null,"milestone":null,"comments":20,"created_at":"2015-09-28T20:29:21Z","updated_at":"2015-10-19T13:19:44Z","closed_at":"2015-10-19T13:19:44Z","body":"I started working on a pull request for this, so I'm opening this issue to discuss details and track progress.\r\n\r\nThe idea is to \r\n\r\n1. Add typeshed (http://github.com/python/typeshed) as a submodule to mypy, e.g. as \"./typeshed/\" or \"./stubs/\", and then to tweak default_lib_path in mypy/build.py to work with the typeshed directory structure. (Which is a bit more fine-grained than the one in mypy. It's documented at\r\nhttps://github.com/python/typeshed/blob/master/README.md)\r\n2. Merge the stubs of typeshed and mypy. Both have things the other doesn't have - typeshed has a lot of stubs from C extensions, including obscure things like _sre, strop, syslog and cmath, whereas mypy already also has stubs for the .py part of the standard library. (But a first step might be to make a branch in typeshed that's essentially a copy of mypy/stubs/ just to make sure the submodule+loading logic works.)\r\n\r\n\r\n"}}