2017-09-03 18:56:14 +00:00
|
|
|
" Author: Jake Zimmerman <jake@zimmerman.io>
|
|
|
|
" Description: SML checking with SML/NJ Compilation Manager
|
|
|
|
|
|
|
|
function! ale_linters#sml#smlnj_cm#GetCommand(buffer) abort
|
|
|
|
let l:cmfile = ale#handlers#sml#GetCmFile(a:buffer)
|
2018-09-04 15:51:18 +00:00
|
|
|
|
2017-09-03 18:56:14 +00:00
|
|
|
return 'sml -m ' . l:cmfile . ' < /dev/null'
|
|
|
|
endfunction
|
|
|
|
|
|
|
|
" Using CM requires that we set "lint_file: 1", since it reads the files
|
|
|
|
" from the disk itself.
|
|
|
|
call ale#linter#Define('sml', {
|
2018-07-24 09:05:44 +00:00
|
|
|
\ 'name': 'smlnj_cm',
|
|
|
|
\ 'aliases': ['smlnj-cm'],
|
2019-02-22 18:05:04 +00:00
|
|
|
\ 'executable': function('ale#handlers#sml#GetExecutableSmlnjCm'),
|
2017-09-03 18:56:14 +00:00
|
|
|
\ 'lint_file': 1,
|
2019-02-22 18:05:04 +00:00
|
|
|
\ 'command': function('ale_linters#sml#smlnj_cm#GetCommand'),
|
2017-09-03 18:56:14 +00:00
|
|
|
\ 'callback': 'ale#handlers#sml#Handle',
|
|
|
|
\})
|
|
|
|
|
|
|
|
" vim:ts=4:sts=4:sw=4
|