diff options
| author | Hans Bolinder <[email protected]> | 2014-02-26 15:01:33 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2014-03-20 16:05:23 +0100 |
| commit | 3d70fc00a0e2165cb45022086fec5552a355ef50 (patch) | |
| tree | 2d7fc88193c9249a22efc265a789b37f7bd11590 /lib/dialyzer/src/dialyzer.hrl | |
| parent | eb44d0b913a97bf460ba890b04900096f79dcd53 (diff) | |
| download | otp-3d70fc00a0e2165cb45022086fec5552a355ef50.tar.gz otp-3d70fc00a0e2165cb45022086fec5552a355ef50.tar.bz2 otp-3d70fc00a0e2165cb45022086fec5552a355ef50.zip | |
Return warnings for unknown types and functions in Erlang Mode
The warnings about unknown types and functions are now returned
when calling Dialyzer from Erlang, in particular from an escript.
When calling Dialyzer from the command line the warnings about unknown
types and functions are output last as before; and when using the GUI
the warnings are displayed in a pop-up window, as before.
Diffstat (limited to 'lib/dialyzer/src/dialyzer.hrl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer.hrl | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/lib/dialyzer/src/dialyzer.hrl b/lib/dialyzer/src/dialyzer.hrl index 105a174e31..6cb4af6a46 100644 --- a/lib/dialyzer/src/dialyzer.hrl +++ b/lib/dialyzer/src/dialyzer.hrl @@ -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 @@ -58,6 +58,7 @@ -define(WARN_RACE_CONDITION, warn_race_condition). -define(WARN_BEHAVIOUR, warn_behaviour). -define(WARN_UNDEFINED_CALLBACK, warn_undefined_callbacks). +-define(WARN_UNKNOWN, warn_unknown). %% %% The following type has double role: @@ -73,7 +74,7 @@ | ?WARN_CONTRACT_SUPERTYPE | ?WARN_CALLGRAPH | ?WARN_UNMATCHED_RETURN | ?WARN_RACE_CONDITION | ?WARN_BEHAVIOUR | ?WARN_CONTRACT_RANGE - | ?WARN_UNDEFINED_CALLBACK. + | ?WARN_UNDEFINED_CALLBACK | ?WARN_UNKNOWN. %% %% This is the representation of each warning as they will be returned |