diff options
| author | Hans Bolinder <hasse@erlang.org> | 2021-02-15 12:11:12 +0100 |
|---|---|---|
| committer | Hans Bolinder <hasse@erlang.org> | 2021-02-16 09:01:53 +0100 |
| commit | 672299bb104f34b5a47b7d3334d798f121070fa8 (patch) | |
| tree | 45dca2434fc9bea6d42bd5ec9a6b28ba808a350c /lib/dialyzer/src/dialyzer_cl_parse.erl | |
| parent | 2698f5d3aa6d1e5d612f820460b1192789f028dc (diff) | |
| download | erlang-672299bb104f34b5a47b7d3334d798f121070fa8.tar.gz | |
dialyzer: Add option to be used with attribute -dialyzer
Add option 'no_underspecs'. See also GH-4033.
Diffstat (limited to 'lib/dialyzer/src/dialyzer_cl_parse.erl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_cl_parse.erl | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/lib/dialyzer/src/dialyzer_cl_parse.erl b/lib/dialyzer/src/dialyzer_cl_parse.erl index cefe466f01..ff7930f21a 100644 --- a/lib/dialyzer/src/dialyzer_cl_parse.erl +++ b/lib/dialyzer/src/dialyzer_cl_parse.erl @@ -566,4 +566,10 @@ The following options are also available but their use is not recommended: Warn when the -spec is different than the success typing. *** Identifies options that turn on warnings rather than turning them off. + +The following options are not strictly needed as they specify the default. +They are primarily intended to be used with the -dialyzer attribute: + -Wno_underspecs + Suppress warnings about underspecified functions (those whose -spec + is strictly more allowing than the success typing). ". |