diff options
| author | Kiko Fernandez-Reyes <kiko@erlang.org> | 2022-12-09 13:39:49 +0100 |
|---|---|---|
| committer | Kiko Fernandez-Reyes <kiko@erlang.org> | 2023-01-11 12:38:13 +0100 |
| commit | 1eaa3a2726dce181fb434548a8067790c568a8ff (patch) | |
| tree | 8bed8e2a60d98063ffcf21fee988c7c16aef019e /lib/dialyzer/src/dialyzer_cl_parse.erl | |
| parent | 0764c3073544b6ed96caaeac0be80e012cfccd73 (diff) | |
| download | erlang-1eaa3a2726dce181fb434548a8067790c568a8ff.tar.gz | |
dialyzer: overlapping_domain option is opt-in
Diffstat (limited to 'lib/dialyzer/src/dialyzer_cl_parse.erl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_cl_parse.erl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/dialyzer/src/dialyzer_cl_parse.erl b/lib/dialyzer/src/dialyzer_cl_parse.erl index a0dcf8dd0f..4fac1df6a6 100644 --- a/lib/dialyzer/src/dialyzer_cl_parse.erl +++ b/lib/dialyzer/src/dialyzer_cl_parse.erl @@ -608,6 +608,8 @@ warning_options_msg() -> -Wmissing_return *** Warn about functions that return values that are not part of the specification. + -Woverlapping_contract *** + Warn about overloaded functions whose specification include types that overlap. -Wunknown *** Let warnings about unknown functions and types affect the exit status of the command line version. The default is to ignore |