@@ -31,7 +31,9 @@ function! SyntaxCheckers_idris_idris_GetLocList()
3131 \ 'filetype': 'idris',
3232 \ 'subchecker': 'idris' })
3333
34− let errorformat = '"%f" (line %l\, column %c\):'
34+ let errorformat =
35+ \ '"%f" (line %l\, column %c\):,' .
36+ \ '%f\:%l\:%m'
3537
3638 return SyntasticMake({
3739 \ 'makeprg': makeprg,