diff options
| author | Björn Gustavsson <bjorn@erlang.org> | 2022-11-07 11:48:13 +0100 |
|---|---|---|
| committer | Björn Gustavsson <bjorn@erlang.org> | 2023-03-01 08:27:05 +0100 |
| commit | 8bb56e07c4ddab0777b6e43946fe1467c5f2e1b6 (patch) | |
| tree | 42b9f2c92e33364b0fda9f372eb4ec1e41a4a251 /lib/dialyzer/doc | |
| parent | b6d24441364707d84be9963bca2055e120e937af (diff) | |
| download | erlang-8bb56e07c4ddab0777b6e43946fe1467c5f2e1b6.tar.gz | |
dialyzer: Add the --no_spec option for ignoring specs
This option is useful for debugging when one suspects that some specs
are incorrect.
(Technically, this option is not new, but it was broken and undocumented.)
Diffstat (limited to 'lib/dialyzer/doc')
| -rw-r--r-- | lib/dialyzer/doc/src/dialyzer.xml | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/lib/dialyzer/doc/src/dialyzer.xml b/lib/dialyzer/doc/src/dialyzer.xml index 85b1d081b7..86c4958591 100644 --- a/lib/dialyzer/doc/src/dialyzer.xml +++ b/lib/dialyzer/doc/src/dialyzer.xml @@ -86,8 +86,8 @@ dialyzer [--add_to_plt] [--apps applications] [--build_plt] [--check_plt] [-Ddefine]* [-Dname]* [--dump_callgraph file] [--error_location flag] [files_or_dirs] [--fullpath] [--get_warnings] [--gui] [--help] [-I include_dir]* - [--incremental] [--no_check_plt] [--no_indentation] [-o outfile] - [--output_plt file] [-pa dir]* [--plt plt] [--plt_info] + [--incremental] [--no_check_plt] [--no_indentation] [--no_spec] + [-o outfile] [--output_plt file] [-pa dir]* [--plt plt] [--plt_info] [--plts plt*] [--quiet] [-r dirs] [--raw] [--remove_from_plt] [--shell] [--src] [--statistics] [--verbose] [--version] [-Wwarn]*</code> @@ -209,6 +209,11 @@ dialyzer --apps inets ssl ./ebin ../other_lib/ebin/my_module.beam</code> <p>Do not insert line breaks in types, contracts, and Erlang Code when formatting warnings.</p> </item> + <tag><c>--no_spec</c></tag> + <item> + <p>Ignore functions specs. This is useful for debugging when + one suspects that some specs are incorrect.</p> + </item> <tag><c>-o outfile</c> (or <c>--output outfile</c>)</tag> <item> |