From 5b39145de8ce71c73be5ae97495bb0e04b04a9da Mon Sep 17 00:00:00 2001
From: Johannes Rothe <rothe@magazino.eu>
Date: Wed, 22 Dec 2021 14:29:50 +0100
Subject: [PATCH] vimrc: stricter mypy linting

---
 roles/dotfiles/files/vimrc | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/roles/dotfiles/files/vimrc b/roles/dotfiles/files/vimrc
index fb4f4bd..cd26f02 100644
--- a/roles/dotfiles/files/vimrc
+++ b/roles/dotfiles/files/vimrc
@@ -47,10 +47,10 @@ colorscheme sonokai
 let g:airline_theme = 'sonokai'
 
 " Ale
-let g:ale_linters = {'python': ['pylint'],}
-let g:ale_fixers = {}
-let g:ale_fixers.python = ['black']
+let g:ale_linters = {'python': ['pylint', 'mypy'],}
+let g:ale_fixers = {'python': ['black', 'isort']}
 let g:ale_python_pylint_options = '--disable=C0111'
+let g:ale_python_mypy_options = '--ignore-missing-imports --disallow-untyped-defs --disallow-incomplete-defs'
 
 " Black
 let g:black_linelength = 80