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_cl_parse.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_cl_parse.erl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_cl_parse.erl | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/lib/dialyzer/src/dialyzer_cl_parse.erl b/lib/dialyzer/src/dialyzer_cl_parse.erl index ace2116fbe..21fc424a1b 100644 --- a/lib/dialyzer/src/dialyzer_cl_parse.erl +++ b/lib/dialyzer/src/dialyzer_cl_parse.erl @@ -2,7 +2,7 @@ %%----------------------------------------------------------------------- %% %CopyrightBegin% %% -%% Copyright Ericsson AB 2006-2014. All Rights Reserved. +%% Copyright Ericsson AB 2006-2015. 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 @@ -524,6 +524,13 @@ warning_options_msg() -> -Wunderspecs *** Warn about underspecified functions (those whose -spec is strictly more allowing than the success typing). + -Wunknown *** + Let warnings about unknown functions and types affect the + exit status of the command line version. The default is to ignore + warnings about unknown functions and types when setting the exit + status. When using the Dialyzer from Erlang, warnings about unknown + functions and types are returned; the default is not to return + such warnings. The following options are also available but their use is not recommended: (they are mostly for Dialyzer developers and internal debugging) |