@@ -0,0 +1,46 @@
1+"============================================================================
2+"File: idris.vim
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.
10+"
11+"============================================================================
12+
13+if exists("g:loaded_syntastic_idris_idris_checker")
14+ finish
15+endif
16+let g:loaded_syntastic_idris_idris_checker=1
17+
18+function! SyntaxCheckers_idris_idris_IsAvailable()
19+ return executable("idris")
20+endfunction
21+
22+if !exists("g:syntastic_idris_options")
23+ let g:syntastic_idris_options = " "
24+endif
25+
26+
27+function! SyntaxCheckers_idris_idris_GetLocList()
28+ let makeprg = syntastic#makeprg#build({
29+ \ 'exe': 'idris',
30+ \ 'args': '--check '. g:syntastic_idris_options,
31+ \ 'filetype': 'idris',
32+ \ 'subchecker': 'idris' })
33+
34+ let errorformat =
35+ \ '"%f" (line %l\, column %c\):,' .
36+ \ '%f\:%l\:%m,' .
37+ \ 'user error (%f\:%l\:%m\)'
38+
39+ return SyntasticMake({
40+ \ 'makeprg': makeprg,
41+ \ 'errorformat': errorformat })
42+endfunction
43+
44+call g:SyntasticRegistry.CreateAndRegisterChecker({
45+ \ 'filetype': 'idris',
46+ \ 'name': 'idris'})