vim: catch user errors
commit9376b7352e96a2bbdc2f149836ed2663cb428ad5
authorraichoo <raichoo@googlemail.com>
dateWed 17 Jul 2013, 08:57 (13 years ago)
parent67445f5
contribs/tool-support/vim/syntax_checkers/idris/idris.vim+2−1
@@ -33,7 +33,8 @@ function! SyntaxCheckers_idris_idris_GetLocList()
3333
3434 let errorformat =
3535 \ '"%f" (line %l\, column %c\):,' .
36− \ '%f\:%l\:%m'
36+ \ '%f\:%l\:%m,' .
37+ \ 'user error (%f\:%l\:%m\)'
3738
3839 return SyntasticMake({
3940 \ 'makeprg': makeprg,