mypy: add django support

(still not working)

Makefile.local

@@ -87,3 +87,11 @@ test-frontend-ui: test-frontend-ui-cmd
 
 test-frontend-full-ui: export CYPRESS_SKIP_SLOW_TESTS=0
 test-frontend-full-ui: test-frontend-ui-cmd
+
+
+# Override default rule to make sure DJANGO env var is properly set. It
+# *should* work without any override thanks to the mypy django-stubs plugin,
+# but it currently doesn't; see
+# https://github.com/typeddjango/django-stubs/issues/166
+typecheck:
+	DJANGO_SETTINGS_MODULE=swh.web.settings.tests $(MYPY) $(MYPYFLAGS) swh

mypy.ini

@@ -3,11 +3,11 @@ namespace_packages = True
 warn_unused_ignores = True
 
 
-# # support for django magic: https://github.com/typeddjango/django-stubs
-# plugins = mypy_django_plugin.main
+# support for django magic: https://github.com/typeddjango/django-stubs
+plugins = mypy_django_plugin.main
 
-# [mypy.plugins.django-stubs]
-# django_settings_module = swh.web.settings.tests
+[mypy.plugins.django-stubs]
+django_settings_module = swh.web.settings.tests
 
 
 # 3rd party libraries without stubs (yet)