Module has no attribute "errno" · Issue #1646 · python/typeshed (original) (raw)

This error is produced by mypy with the following code:

import os os.errno

This however works at runtime (at least on Python 3.4), moreover os.errno is errno returns True, so I suppose this would be easy to fix by just adding import errno as errno to os/__init__.pyi.