Merge pull request #3425 from pinicarus/custom-dialyzer-options

Custom erlang/dialyzer options
This commit is contained in:
Horacio Sanson authored and GitHub committed 2021-01-27 20:24:26 +09:00
commit c9f4005820
3 files changed
+24 -4

No files matched your search

@@ -25,6 +25,14 @@ Execute(The command should accept configured executable.):
\ . ' -Wunderspecs'
\ . ' %s'
Execute(The command should accept configured options.):
let b:ale_erlang_dialyzer_options = '-r ' . expand('$HOME')
AssertLinter 'dialyzer',
\ ale#Escape('dialyzer')
\ . ' -n --plt ' . ale#Escape(expand('$HOME/.dialyzer_plt'))
\ . ' -r ' . expand('$HOME')
\ . ' %s'
Execute(The command should accept configured PLT file.):
let b:ale_erlang_dialyzer_plt_file = 'custom-plt'
AssertLinter 'dialyzer',