diff options
| author | pinicarus <pinicarus@protonmail.com> | 2020-09-30 22:44:19 +0200 |
|---|---|---|
| committer | pinicarus <pinicarus@protonmail.com> | 2020-09-30 23:16:50 +0200 |
| commit | ac3c0c093a2e3ea05793e57d3e836751ba67052b (patch) | |
| tree | 87678c06eaf01db0b6d540d2874218a792350035 /doc | |
| parent | 96dcbd1f2069843acdc57646074b3d9f0e768044 (diff) | |
| download | ale-ac3c0c093a2e3ea05793e57d3e836751ba67052b.zip | |
feat(erlang/dialyzer): add custom options passing
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ale-erlang.txt | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/ale-erlang.txt b/doc/ale-erlang.txt index 59993a99..eadcfc42 100644 --- a/doc/ale-erlang.txt +++ b/doc/ale-erlang.txt @@ -13,6 +13,14 @@ g:ale_erlang_dialyzer_executable *g:ale_erlang_dialyzer_executable* This variable can be changed to specify the dialyzer executable. +g:ale_erlang_dialyzer_options *g:ale_erlang_dialyzer_options* + *b:ale_erlang_dialyzer_options* + Type: |String| + Default: `'-Wunmatched_returns -Werror_handling -Wrace_conditions -Wunderspec %s'` + + This variable can be changed to specify the options to the dialyzer + executable. The `%s` marker can be used to denote the current file. + g:ale_erlang_dialyzer_plt_file *g:ale_erlang_dialyzer_plt_file* *b:ale_erlang_dialyzer_plt_file* Type: |String| |