2018-03-31 10:55:20 -04:00
|
|
|
" Author: Keith Smiley <k@keith.so>, w0rp <devw0rp@gmail.com>
|
|
|
|
" Description: mypy support for optional python typechecking
|
|
|
|
|
|
|
|
call ale#Set('python_mypy_executable', 'mypy')
|
|
|
|
call ale#Set('python_mypy_ignore_invalid_syntax', 0)
|
|
|
|
call ale#Set('python_mypy_options', '')
|
2018-06-14 06:31:12 -04:00
|
|
|
call ale#Set('python_mypy_use_global', get(g:, 'ale_use_global_executables', 0))
|
2018-09-24 20:40:17 -04:00
|
|
|
call ale#Set('python_mypy_auto_pipenv', 0)
|
2018-03-31 10:55:20 -04:00
|
|
|
|
|
|
|
function! ale_linters#python#mypy#GetExecutable(buffer) abort
|
2018-09-24 20:40:17 -04:00
|
|
|
if (ale#Var(a:buffer, 'python_auto_pipenv') || ale#Var(a:buffer, 'python_mypy_auto_pipenv'))
|
|
|
|
\ && ale#python#PipenvPresent(a:buffer)
|
|
|
|
return 'pipenv'
|
|
|
|
endif
|
|
|
|
|
2018-03-31 10:55:20 -04:00
|
|
|
return ale#python#FindExecutable(a:buffer, 'python_mypy', ['mypy'])
|
|
|
|
endfunction
|
|
|
|
|
|
|
|
" The directory to change to before running mypy
|
|
|
|
function! s:GetDir(buffer) abort
|
|
|
|
let l:project_root = ale#python#FindProjectRoot(a:buffer)
|
|
|
|
|
|
|
|
return !empty(l:project_root)
|
|
|
|
\ ? l:project_root
|
|
|
|
\ : expand('#' . a:buffer . ':p:h')
|
|
|
|
endfunction
|
|
|
|
|
|
|
|
function! ale_linters#python#mypy#GetCommand(buffer) abort
|
|
|
|
let l:dir = s:GetDir(a:buffer)
|
|
|
|
let l:executable = ale_linters#python#mypy#GetExecutable(a:buffer)
|
|
|
|
|
2018-06-14 06:31:12 -04:00
|
|
|
let l:exec_args = l:executable =~? 'pipenv$'
|
|
|
|
\ ? ' run mypy'
|
|
|
|
\ : ''
|
|
|
|
|
2018-03-31 10:55:20 -04:00
|
|
|
" We have to always switch to an explicit directory for a command so
|
|
|
|
" we can know with certainty the base path for the 'filename' keys below.
|
|
|
|
return ale#path#CdString(l:dir)
|
2018-06-14 06:31:12 -04:00
|
|
|
\ . ale#Escape(l:executable) . l:exec_args
|
2018-03-31 10:55:20 -04:00
|
|
|
\ . ' --show-column-numbers '
|
|
|
|
\ . ale#Var(a:buffer, 'python_mypy_options')
|
|
|
|
\ . ' --shadow-file %s %t %s'
|
|
|
|
endfunction
|
|
|
|
|
|
|
|
function! ale_linters#python#mypy#Handle(buffer, lines) abort
|
|
|
|
let l:dir = s:GetDir(a:buffer)
|
|
|
|
" Look for lines like the following:
|
|
|
|
"
|
|
|
|
" file.py:4: error: No library stub file for module 'django.db'
|
|
|
|
"
|
|
|
|
" Lines like these should be ignored below:
|
|
|
|
"
|
|
|
|
" file.py:4: note: (Stub files are from https://github.com/python/typeshed)
|
|
|
|
let l:pattern = '\v^([a-zA-Z]?:?[^:]+):(\d+):?(\d+)?: (error|warning): (.+)$'
|
|
|
|
let l:output = []
|
|
|
|
|
|
|
|
for l:match in ale#util#GetMatches(a:lines, l:pattern)
|
|
|
|
" Skip invalid syntax errors if the option is on.
|
|
|
|
if l:match[5] is# 'invalid syntax'
|
|
|
|
\&& ale#Var(a:buffer, 'python_mypy_ignore_invalid_syntax')
|
|
|
|
continue
|
|
|
|
endif
|
|
|
|
|
|
|
|
call add(l:output, {
|
|
|
|
\ 'filename': ale#path#GetAbsPath(l:dir, l:match[1]),
|
|
|
|
\ 'lnum': l:match[2] + 0,
|
|
|
|
\ 'col': l:match[3] + 0,
|
|
|
|
\ 'type': l:match[4] is# 'error' ? 'E' : 'W',
|
|
|
|
\ 'text': l:match[5],
|
|
|
|
\})
|
|
|
|
endfor
|
|
|
|
|
|
|
|
return l:output
|
|
|
|
endfunction
|
|
|
|
|
|
|
|
call ale#linter#Define('python', {
|
|
|
|
\ 'name': 'mypy',
|
2019-03-08 06:04:56 -05:00
|
|
|
\ 'executable': function('ale_linters#python#mypy#GetExecutable'),
|
|
|
|
\ 'command': function('ale_linters#python#mypy#GetCommand'),
|
2018-03-31 10:55:20 -04:00
|
|
|
\ 'callback': 'ale_linters#python#mypy#Handle',
|
2019-08-22 11:36:17 -04:00
|
|
|
\ 'output_stream': 'both'
|
2018-03-31 10:55:20 -04:00
|
|
|
\})
|