2017-02-17 21:05:33 -05:00
|
|
|
" Author: Paulo Alem <paulo.alem@gmail.com>
|
|
|
|
" Description: Rudimentary SML checking with smlnj compiler
|
|
|
|
|
|
|
|
if exists('g:loaded_ale_sml_smlnj_checker')
|
|
|
|
finish
|
|
|
|
endif
|
|
|
|
|
|
|
|
let g:loaded_ale_sml_smlnj_checker = 1
|
|
|
|
|
|
|
|
function! ale_linters#sml#smlnj#Handle(buffer, lines) abort
|
|
|
|
" Try to match basic sml errors
|
|
|
|
|
|
|
|
let l:out = []
|
|
|
|
let l:pattern = '^.*\:\([0-9\.]\+\)\ \(\w\+\)\:\ \(.*\)'
|
2017-04-08 06:23:11 -04:00
|
|
|
let l:pattern2 = '^.*\:\([0-9]\+\)\.\?\([0-9]\+\).* \(\(Warning\|Error\): .*\)'
|
2017-02-17 21:05:33 -05:00
|
|
|
|
|
|
|
for l:line in a:lines
|
2017-04-08 06:23:11 -04:00
|
|
|
let l:match2 = matchlist(l:line, l:pattern2)
|
|
|
|
|
|
|
|
if len(l:match2) != 0
|
|
|
|
call add(l:out, {
|
|
|
|
\ 'bufnr': a:buffer,
|
|
|
|
\ 'lnum': l:match2[1] + 0,
|
|
|
|
\ 'col' : l:match2[2] - 1,
|
|
|
|
\ 'text': l:match2[3],
|
|
|
|
\ 'type': l:match2[3] =~# '^Warning' ? 'W' : 'E',
|
|
|
|
\})
|
|
|
|
continue
|
|
|
|
endif
|
|
|
|
|
2017-02-17 21:05:33 -05:00
|
|
|
let l:match = matchlist(l:line, l:pattern)
|
|
|
|
|
2017-04-08 06:23:11 -04:00
|
|
|
if len(l:match) != 0
|
|
|
|
call add(l:out, {
|
|
|
|
\ 'bufnr': a:buffer,
|
|
|
|
\ 'lnum': l:match[1] + 0,
|
|
|
|
\ 'text': l:match[2] . ': ' . l:match[3],
|
|
|
|
\ 'type': l:match[2] ==# 'error' ? 'E' : 'W',
|
|
|
|
\})
|
|
|
|
continue
|
2017-02-17 21:05:33 -05:00
|
|
|
endif
|
|
|
|
|
|
|
|
endfor
|
|
|
|
|
|
|
|
return l:out
|
|
|
|
endfunction
|
|
|
|
|
|
|
|
call g:ale#linter#Define('sml', {
|
|
|
|
\ 'name': 'smlnj',
|
|
|
|
\ 'executable': 'sml',
|
|
|
|
\ 'command': 'sml',
|
|
|
|
\ 'callback': 'ale_linters#sml#smlnj#Handle',
|
|
|
|
\})
|