"Undefined name" message about a name that isn't there in code about pyre-check

[dark]

The fix was released in 0.0.7, uploaded to Pypi a few hours ago.

[gnprice]

For comparison, here's what mypy reports for the same file, by default. (The normal mypy run for Zulip uses the config flag ignore_missing_imports = True, which suppresses exactly this sort of error.)

zerver/apps.py:5: error: No library stub file for module 'django.apps'
zerver/apps.py:6: error: No library stub file for module 'django.conf'
zerver/apps.py:7: error: No library stub file for module 'django.core.cache'
zerver/apps.py:8: error: No library stub file for module 'django.db.models.signals'

Those messages refer to the lines

from django.apps import AppConfig
from django.conf import settings
from django.core.cache import cache
from django.db.models.signals import post_migrate

and that seems a lot easier to interpret.

[sinancepel]

Hey Greg, thanks for the report - we currently error at the time of module dereference, but it's certainly worth considering.

[sinancepel]

With the following change in trunk, we now report on unresolved imports: 8e6e4cf

[a-rmz]

@sinancepel is the change already in the release? Or when will it be released? I'm using version 0.0.6 and I'm getting the same error (18).

[a-rmz]

Amazing! Thanks @dark! 😄