diff options
| author | Horacio Sanson <hsanson@gmail.com> | 2021-01-27 20:24:26 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-01-27 20:24:26 +0900 |
| commit | c9f4005820092c7824a35f1d62ae0dc93e474815 (patch) | |
| tree | 5b7ed8ea60e630d787353921bc47a5f64a201de0 /ale_linters | |
| parent | cab4280d02f0297ae10ab0611778389c7a5766ae (diff) | |
| parent | 105bc5569550925af3b5f679145e1a13e0840344 (diff) | |
| download | ale-c9f4005820092c7824a35f1d62ae0dc93e474815.zip | |
Merge pull request #3425 from pinicarus/custom-dialyzer-options
Custom erlang/dialyzer options
Diffstat (limited to 'ale_linters')
| -rw-r--r-- | ale_linters/erlang/dialyzer.vim | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/ale_linters/erlang/dialyzer.vim b/ale_linters/erlang/dialyzer.vim index 395647a0..a97c9520 100644 --- a/ale_linters/erlang/dialyzer.vim +++ b/ale_linters/erlang/dialyzer.vim @@ -3,6 +3,11 @@ let g:ale_erlang_dialyzer_executable = \ get(g:, 'ale_erlang_dialyzer_executable', 'dialyzer') +let g:ale_erlang_dialyzer_options = +\ get(g:, 'ale_erlang_dialyzer_options', '-Wunmatched_returns' +\ . ' -Werror_handling' +\ . ' -Wrace_conditions' +\ . ' -Wunderspecs') let g:ale_erlang_dialyzer_plt_file = \ get(g:, 'ale_erlang_dialyzer_plt_file', '') let g:ale_erlang_dialyzer_rebar3_profile = @@ -47,13 +52,12 @@ function! ale_linters#erlang#dialyzer#GetExecutable(buffer) abort endfunction function! ale_linters#erlang#dialyzer#GetCommand(buffer) abort + let l:options = ale#Var(a:buffer, 'erlang_dialyzer_options') + let l:command = ale#Escape(ale_linters#erlang#dialyzer#GetExecutable(a:buffer)) \ . ' -n' \ . ' --plt ' . ale#Escape(ale_linters#erlang#dialyzer#GetPlt(a:buffer)) - \ . ' -Wunmatched_returns' - \ . ' -Werror_handling' - \ . ' -Wrace_conditions' - \ . ' -Wunderspecs' + \ . ' ' . l:options \ . ' %s' return l:command |