diff options
| author | Hans Bolinder <[email protected]> | 2014-03-04 13:41:09 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2014-03-20 16:05:23 +0100 |
| commit | ad8bf9b974ed80bf4efcb4c2be606b482c6293a1 (patch) | |
| tree | babfc401b8204313192cc751140bc932a987f405 /lib/dialyzer/src/dialyzer_options.erl | |
| parent | 3d70fc00a0e2165cb45022086fec5552a355ef50 (diff) | |
| download | otp-ad8bf9b974ed80bf4efcb4c2be606b482c6293a1.tar.gz otp-ad8bf9b974ed80bf4efcb4c2be606b482c6293a1.tar.bz2 otp-ad8bf9b974ed80bf4efcb4c2be606b482c6293a1.zip | |
Introduce a new warning option, 'no_unknown'
Not (yet) documented.
Diffstat (limited to 'lib/dialyzer/src/dialyzer_options.erl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_options.erl | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/lib/dialyzer/src/dialyzer_options.erl b/lib/dialyzer/src/dialyzer_options.erl index 06672e595f..a92b8b1958 100644 --- a/lib/dialyzer/src/dialyzer_options.erl +++ b/lib/dialyzer/src/dialyzer_options.erl @@ -2,7 +2,7 @@ %%----------------------------------------------------------------------- %% %CopyrightBegin% %% -%% Copyright Ericsson AB 2006-2012. All Rights Reserved. +%% Copyright Ericsson AB 2006-2014. All Rights Reserved. %% %% The contents of this file are subject to the Erlang Public License, %% Version 1.1, (the "License"); you may not use this file except in @@ -51,7 +51,8 @@ build(Opts) -> ?WARN_CONTRACT_TYPES, ?WARN_CONTRACT_SYNTAX, ?WARN_BEHAVIOUR, - ?WARN_UNDEFINED_CALLBACK], + ?WARN_UNDEFINED_CALLBACK, + ?WARN_UNKNOWN], DefaultWarns1 = ordsets:from_list(DefaultWarns), InitPlt = dialyzer_plt:get_default_plt(), DefaultOpts = #options{}, @@ -310,6 +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); OtherAtom -> bad_option("Unknown dialyzer warning option", OtherAtom) end, |