requirements: Docker, osx
docker-compose up -d
docker exec -it broken-mypy_py_1 bash
pip install mypy
mypy /root/app
Issue
case insensitive folder in a docker bind mount in a linux container on a mac somehow makes mypy loof for Activity.py and activity.py, and that's wrong.
root@f735f1a2f816:~/# mypy /root/app/
app/foo/bar/Activity.py:4: error: Module "app.f" has no attribute "FormTemplate"
app/foo/bar/activity.py:4: error: Module "app.f" has no attribute "FormTemplate"
app/f.py:3: error: Name "Activity" already defined (by an import)
app/__init__.py:2: error: Module "app.f" has no attribute "FormTemplate"
app/c.py:3: error: Module "app.f" has no attribute "FormTemplate"
Found 5 errors in 5 files (checked 7 source files)
Run without missing classes with invalid error (this is if you uncomment lines in f.py)
root@f735f1a2f816:/# mypy /root/app/
root/app/f.py:3: error: Name "Activity" already defined (by an import)
Found 1 error in 1 file (checked 7 source files)