on master help sign in
vim: catch more errors with syntastic
67445f5raichoo
contribs/tool-support/vim/syntax_checkers/idris/idris.vim+3−1
@@ -31,7 +31,9 @@ function! SyntaxCheckers_idris_idris_GetLocList()
31 \ 'filetype': 'idris',
31 \ 'filetype': 'idris',
32 \ 'subchecker': 'idris' })
32 \ 'subchecker': 'idris' })
33
33
34− let errorformat = '"%f" (line %l\, column %c\):'
34+ let errorformat =
35+ \ '"%f" (line %l\, column %c\):,' .
36+ \ '%f\:%l\:%m'
35
37
36 return SyntasticMake({
38 return SyntasticMake({
37 \ 'makeprg': makeprg,
39 \ 'makeprg': makeprg,