2012-01-13 07:00:53 -05:00
|
|
|
"============================================================================
|
|
|
|
"File: ocaml.vim
|
|
|
|
"Description: Syntax checking plugin for syntastic.vim
|
|
|
|
"Maintainer: Török Edwin <edwintorok at gmail dot com>
|
|
|
|
"License: This program is free software. It comes without any warranty,
|
|
|
|
" to the extent permitted by applicable law. You can redistribute
|
|
|
|
" it and/or modify it under the terms of the Do What The Fuck You
|
|
|
|
" Want To Public License, Version 2, as published by Sam Hocevar.
|
|
|
|
" See http://sam.zoy.org/wtfpl/COPYING for more details.
|
|
|
|
"
|
|
|
|
"============================================================================
|
2012-01-13 08:48:25 -05:00
|
|
|
|
2015-03-25 12:44:34 -04:00
|
|
|
if exists('g:loaded_syntastic_ocaml_camlp4o_checker')
|
2013-02-21 10:50:41 -05:00
|
|
|
finish
|
|
|
|
endif
|
2014-01-03 04:29:08 -05:00
|
|
|
let g:loaded_syntastic_ocaml_camlp4o_checker = 1
|
2013-02-21 10:50:41 -05:00
|
|
|
|
2014-01-03 04:29:08 -05:00
|
|
|
let s:save_cpo = &cpo
|
|
|
|
set cpo&vim
|
|
|
|
|
2015-01-04 05:46:54 -05:00
|
|
|
" Checker options {{{1
|
2012-01-13 07:00:53 -05:00
|
|
|
|
2012-08-31 16:18:57 -04:00
|
|
|
if !exists('g:syntastic_ocaml_use_ocamlc') || !executable('ocamlc')
|
|
|
|
let g:syntastic_ocaml_use_ocamlc = 0
|
|
|
|
endif
|
|
|
|
|
2012-09-02 14:18:58 -04:00
|
|
|
if !exists('g:syntastic_ocaml_use_janestreet_core')
|
2014-08-17 01:27:34 -04:00
|
|
|
let g:syntastic_ocaml_use_janestreet_core = 0
|
2012-08-31 16:18:57 -04:00
|
|
|
endif
|
|
|
|
|
2016-04-16 02:48:41 -04:00
|
|
|
if !exists('g:syntastic_ocaml_janestreet_core_dir')
|
|
|
|
let g:syntastic_ocaml_janestreet_core_dir = '.'
|
|
|
|
endif
|
|
|
|
|
2015-03-25 12:44:34 -04:00
|
|
|
if !exists('g:syntastic_ocaml_use_ocamlbuild') || !executable('ocamlbuild')
|
2012-08-31 16:18:57 -04:00
|
|
|
let g:syntastic_ocaml_use_ocamlbuild = 0
|
|
|
|
endif
|
|
|
|
|
2015-01-04 05:46:54 -05:00
|
|
|
" }}}1
|
|
|
|
|
|
|
|
function! SyntaxCheckers_ocaml_camlp4o_IsAvailable() dict " {{{1
|
2016-04-25 02:15:49 -04:00
|
|
|
let s:ocamlpp = get(g:, 'syntastic_ocaml_camlp4r', 0) ? 'camlp4r' : 'camlp4o'
|
2015-01-04 05:46:54 -05:00
|
|
|
return executable(s:ocamlpp)
|
|
|
|
endfunction " }}}1
|
|
|
|
|
|
|
|
function! SyntaxCheckers_ocaml_camlp4o_GetLocList() dict " {{{1
|
2012-08-31 16:18:57 -04:00
|
|
|
let makeprg = s:GetMakeprg()
|
2015-03-25 12:44:34 -04:00
|
|
|
if makeprg ==# ''
|
2012-08-31 16:18:57 -04:00
|
|
|
return []
|
2012-01-13 07:00:53 -05:00
|
|
|
endif
|
2012-08-31 16:18:57 -04:00
|
|
|
|
2013-05-14 12:36:20 -04:00
|
|
|
let errorformat =
|
2015-03-12 04:40:00 -04:00
|
|
|
\ '%WWarning: File "%f"\, line %l\, chars %c-%n:,'.
|
|
|
|
\ '%WWarning: line %l\, chars %c-%n:,'.
|
|
|
|
\ '%AFile "%f"\, line %l\, characters %c-%n:,'.
|
2013-05-14 12:36:20 -04:00
|
|
|
\ '%AFile "%f"\, line %l\, characters %c-%*\d (end at line %*\d\, character %*\d):,'.
|
|
|
|
\ '%AFile "%f"\, line %l\, character %c:,'.
|
|
|
|
\ '%AFile "%f"\, line %l\, character %c:%m,'.
|
|
|
|
\ '%-GPreprocessing error %.%#,'.
|
|
|
|
\ '%-GCommand exited %.%#,'.
|
2015-03-12 04:40:00 -04:00
|
|
|
\ '%C%tarning %*\d: %m,'.
|
2013-05-14 12:36:20 -04:00
|
|
|
\ '%C%m,'.
|
|
|
|
\ '%-G+%.%#'
|
2012-01-13 07:00:53 -05:00
|
|
|
|
2015-03-12 04:40:00 -04:00
|
|
|
let loclist = SyntasticMake({
|
|
|
|
\ 'makeprg': makeprg,
|
|
|
|
\ 'errorformat': errorformat,
|
2015-03-25 12:44:34 -04:00
|
|
|
\ 'defaults': {'bufnr': bufnr('')} })
|
2015-03-12 04:40:00 -04:00
|
|
|
|
|
|
|
for e in loclist
|
|
|
|
if get(e, 'col', 0) && get(e, 'nr', 0)
|
|
|
|
let e['hl'] = '\%>' . (e['col'] - 1) . 'c\%<' . (e['nr'] + 1) . 'c'
|
|
|
|
let e['nr'] = 0
|
|
|
|
endif
|
|
|
|
endfor
|
|
|
|
|
|
|
|
return loclist
|
2015-01-04 05:46:54 -05:00
|
|
|
endfunction " }}}1
|
|
|
|
|
|
|
|
" Utilities {{{1
|
2012-08-31 16:18:57 -04:00
|
|
|
|
2015-01-04 05:46:54 -05:00
|
|
|
function! s:GetMakeprg() " {{{2
|
2016-04-25 02:15:49 -04:00
|
|
|
return
|
|
|
|
\ g:syntastic_ocaml_use_ocamlc ? g:syntastic_ocaml_use_ocamlc :
|
|
|
|
\ (g:syntastic_ocaml_use_ocamlbuild && isdirectory('_build')) ? s:GetOcamlcMakeprg() :
|
|
|
|
\ s:GetOtherMakeprg()
|
2015-01-04 05:46:54 -05:00
|
|
|
endfunction " }}}2
|
2012-08-31 16:18:57 -04:00
|
|
|
|
2015-01-04 05:46:54 -05:00
|
|
|
function! s:GetOcamlcMakeprg() " {{{2
|
2016-04-25 02:15:49 -04:00
|
|
|
let build_cmd = g:syntastic_ocaml_use_janestreet_core ?
|
|
|
|
\ 'ocamlc -I ' . syntastic#util#shexpand(g:syntastic_ocaml_janestreet_core_dir) : 'ocamlc'
|
|
|
|
let build_cmd .= ' -c ' . syntastic#util#shexpand('%')
|
|
|
|
return build_cmd
|
2015-01-04 05:46:54 -05:00
|
|
|
endfunction " }}}2
|
2012-08-31 16:18:57 -04:00
|
|
|
|
2015-01-04 05:46:54 -05:00
|
|
|
function! s:GetOcamlBuildMakeprg() " {{{2
|
2015-03-25 12:44:34 -04:00
|
|
|
return 'ocamlbuild -quiet -no-log -tag annot,' . s:ocamlpp . ' -no-links -no-hygiene -no-sanitize ' .
|
2016-04-25 02:15:49 -04:00
|
|
|
\ syntastic#util#shexpand('%:r') . '.cmi'
|
2015-01-04 05:46:54 -05:00
|
|
|
endfunction " }}}2
|
2012-08-31 16:18:57 -04:00
|
|
|
|
2015-01-04 05:46:54 -05:00
|
|
|
function! s:GetOtherMakeprg() " {{{2
|
2012-08-31 16:18:57 -04:00
|
|
|
"TODO: give this function a better name?
|
|
|
|
"
|
|
|
|
"TODO: should use throw/catch instead of returning an empty makeprg
|
|
|
|
|
2015-01-04 02:01:55 -05:00
|
|
|
let extension = expand('%:e', 1)
|
2015-03-25 12:44:34 -04:00
|
|
|
let makeprg = ''
|
2012-08-31 16:18:57 -04:00
|
|
|
|
2015-03-25 12:44:34 -04:00
|
|
|
if stridx(extension, 'mly') >= 0 && executable('menhir')
|
2012-08-31 16:18:57 -04:00
|
|
|
" ocamlyacc output can't be redirected, so use menhir
|
2015-03-25 12:44:34 -04:00
|
|
|
let makeprg = 'menhir --only-preprocess ' . syntastic#util#shexpand('%') . ' >' . syntastic#util#DevNull()
|
|
|
|
elseif stridx(extension,'mll') >= 0 && executable('ocamllex')
|
|
|
|
let makeprg = 'ocamllex -q ' . syntastic#c#NullOutput() . ' ' . syntastic#util#shexpand('%')
|
2012-08-31 16:18:57 -04:00
|
|
|
else
|
2015-03-25 12:44:34 -04:00
|
|
|
let makeprg = 'camlp4o ' . syntastic#c#NullOutput() . ' ' . syntastic#util#shexpand('%')
|
2012-08-31 16:18:57 -04:00
|
|
|
endif
|
|
|
|
|
|
|
|
return makeprg
|
2015-01-04 05:46:54 -05:00
|
|
|
endfunction " }}}2
|
|
|
|
|
|
|
|
" }}}1
|
2013-01-27 15:08:30 -05:00
|
|
|
|
|
|
|
call g:SyntasticRegistry.CreateAndRegisterChecker({
|
|
|
|
\ 'filetype': 'ocaml',
|
|
|
|
\ 'name': 'camlp4o'})
|
2014-01-03 04:29:08 -05:00
|
|
|
|
|
|
|
let &cpo = s:save_cpo
|
|
|
|
unlet s:save_cpo
|
|
|
|
|
2015-01-04 05:46:54 -05:00
|
|
|
" vim: set sw=4 sts=4 et fdm=marker:
|