diff options
| author | Hans Bolinder <[email protected]> | 2015-04-13 11:00:45 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2015-04-27 08:30:45 +0200 |
| commit | 51982dfa96c98b91531d0a13e1350f2fef06b845 (patch) | |
| tree | f434b07676f860bbf339f5d6808048246a0cdbbf /lib/dialyzer/src/dialyzer_options.erl | |
| parent | 4729cebdf61022cadb0a5a04ae30bace77a7b5db (diff) | |
| download | otp-51982dfa96c98b91531d0a13e1350f2fef06b845.tar.gz otp-51982dfa96c98b91531d0a13e1350f2fef06b845.tar.bz2 otp-51982dfa96c98b91531d0a13e1350f2fef06b845.zip | |
dialyzer: Add new option 'unknown'
Replace the undocumented option 'no_unknown' with the documented
option 'unknown'.
Diffstat (limited to 'lib/dialyzer/src/dialyzer_options.erl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_options.erl | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/lib/dialyzer/src/dialyzer_options.erl b/lib/dialyzer/src/dialyzer_options.erl index 2d6a489695..81907f7995 100644 --- a/lib/dialyzer/src/dialyzer_options.erl +++ b/lib/dialyzer/src/dialyzer_options.erl @@ -50,8 +50,7 @@ build(Opts) -> ?WARN_CONTRACT_TYPES, ?WARN_CONTRACT_SYNTAX, ?WARN_BEHAVIOUR, - ?WARN_UNDEFINED_CALLBACK, - ?WARN_UNKNOWN], + ?WARN_UNDEFINED_CALLBACK], DefaultWarns1 = ordsets:from_list(DefaultWarns), InitPlt = dialyzer_plt:get_default_plt(), DefaultOpts = #options{}, @@ -312,8 +311,8 @@ build_warnings([Opt|Opts], Warnings) -> ordsets:add_element(?WARN_CONTRACT_SUBTYPE, Warnings); underspecs -> ordsets:add_element(?WARN_CONTRACT_SUPERTYPE, Warnings); - no_unknown -> - ordsets:del_element(?WARN_UNKNOWN, Warnings); + unknown -> + ordsets:add_element(?WARN_UNKNOWN, Warnings); OtherAtom -> bad_option("Unknown dialyzer warning option", OtherAtom) end, |