Closed moshelooks closed 5 years ago
cf. https://www.python.org/dev/peps/pep-0561/#id18 and https://mypy.readthedocs.io/en/latest/installed_packages.html#making-pep-561-compatible-packages
without this, mypy will not typecheck adt properly when it is installed via pip:
error: Cannot find module named 'adt' note: See https://mypy.readthedocs.io/en/latest/running_mypy.html#missing-imports
This is great, thank you! I only learned about this in a more recent project. 😄
cf. https://www.python.org/dev/peps/pep-0561/#id18 and https://mypy.readthedocs.io/en/latest/installed_packages.html#making-pep-561-compatible-packages
without this, mypy will not typecheck adt properly when it is installed via pip: