Merge pull request #2706 from richyfish/2703_mypy_stderr

mypy linter capture stderr for error reporting in ALEInfo
This commit is contained in:
w0rp 2019-08-17 19:21:42 +01:00 committed by GitHub
commit ee62cc6898
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions

View File

@ -78,4 +78,5 @@ call ale#linter#Define('python', {
\ 'executable': function('ale_linters#python#mypy#GetExecutable'),
\ 'command': function('ale_linters#python#mypy#GetCommand'),
\ 'callback': 'ale_linters#python#mypy#Handle',
\ 'output_stream': 'both'
\})