I'm struggling to get type checking working in spacemacs, and I would appreciate any help. I've installed MyPy properly on my system (I can run it from terminal) and added python-mypy
to dotspacemacs-additional-packages
, and if I run flycheck-verify-setup
(M-m e v
) python-mypy
is listed there with the correct path to the executable (it's not disabled either). However, I still don't get an error even if running mypy from the terminal does produce an "incompatible type" error.
Any hints as to what I'm missing?