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
dotspacemacs-additional-packages, and if I run
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?