@@ -0,0 +1,43 @@
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 = '"%f" (line %l\, column %c\):'
35+
36+ return SyntasticMake({
37+ \ 'makeprg': makeprg,
38+ \ 'errorformat': errorformat })
39+endfunction
40+
41+call g:SyntasticRegistry.CreateAndRegisterChecker({
42+ \ 'filetype': 'idris',
43+ \ 'name': 'idris'})