Pregunta:
Estoy luchando para que la verificación de tipos funcione en spacemacs, y agradecería cualquier ayuda. Instalé MyPy correctamente en mi sistema (puedo ejecutarlo desde la terminal) y agregué python-mypy a dotspacemacs-additional-packages , y si ejecuto flycheck-verify-setup ( Mm ev ) python-mypy aparece allí con el ruta correcta al ejecutable (tampoco está deshabilitado). Sin embargo, todavía no obtengo un error incluso si ejecutar mypy desde la terminal produce un error de "tipo incompatible".
¿Alguna pista sobre lo que me estoy perdiendo?
Respuesta:
En caso de que alguien más tenga problemas con esto, simplemente hacer pip install flake8-mypy funcionó para mí.