@@ -0,0 +1,46 @@
1+"============================================================================
3+"Description: Syntax checking plugin for syntastic.vim
4+"Maintainer: raichoo <raichoo at googlemail dot com>
5+"License: This program is free software. It comes without any warranty,
6+" to the extent permitted by applicable law. You can redistribute
7+" it and/or modify it under the terms of the Do What The Fuck You
8+" Want To Public License, Version 2, as published by Sam Hocevar.
9+" See http://sam.zoy.org/wtfpl/COPYING for more details.
11+"============================================================================
13+if exists("g:loaded_syntastic_idris_idris_checker")
16+let g:loaded_syntastic_idris_idris_checker=1
18+function! SyntaxCheckers_idris_idris_IsAvailable()
19+ return executable("idris")
22+if !exists("g:syntastic_idris_options")
23+ let g:syntastic_idris_options = " "
27+function! SyntaxCheckers_idris_idris_GetLocList()
28+ let makeprg = syntastic#makeprg#build({
30+ \ 'args': '--check '. g:syntastic_idris_options,
31+ \ 'filetype': 'idris',
32+ \ 'subchecker': 'idris' })
35+ \ '"%f" (line %l\, column %c\):,' .
37+ \ 'user error (%f\:%l\:%m\)'
39+ return SyntasticMake({
40+ \ 'makeprg': makeprg,
41+ \ 'errorformat': errorformat })
44+call g:SyntasticRegistry.CreateAndRegisterChecker({
45+ \ 'filetype': 'idris',