diff options
| author | Stavros Aronis <[email protected]> | 2011-02-22 02:41:06 +0200 |
|---|---|---|
| committer | Niclas Axelsson <[email protected]> | 2011-03-11 12:03:53 +0100 |
| commit | 8342fcf5395133a19d647f2ace606af9b7fc1732 (patch) | |
| tree | 36577d4747e8f8d1e7401409e7e7e293d74f895c /lib/dialyzer/src/dialyzer.hrl | |
| parent | 31ffea630ffd73d39970c3def796b00dd782373d (diff) | |
| download | otp-8342fcf5395133a19d647f2ace606af9b7fc1732.tar.gz otp-8342fcf5395133a19d647f2ace606af9b7fc1732.tar.bz2 otp-8342fcf5395133a19d647f2ace606af9b7fc1732.zip | |
Better blame assignment when a spec is erroneous
Applies to the specification of the return value of a function.
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 aa3f703af2..9d2e554981 100644 --- a/lib/dialyzer/src/dialyzer.hrl +++ b/lib/dialyzer/src/dialyzer.hrl @@ -52,10 +52,11 @@ -define(WARN_CONTRACT_NOT_EQUAL, warn_contract_not_equal). -define(WARN_CONTRACT_SUBTYPE, warn_contract_subtype). -define(WARN_CONTRACT_SUPERTYPE, warn_contract_supertype). +-define(WARN_CONTRACT_RANGE, warn_contract_range). -define(WARN_CALLGRAPH, warn_callgraph). -define(WARN_UNMATCHED_RETURN, warn_umatched_return). -define(WARN_RACE_CONDITION, warn_race_condition). --define(WARN_BEHAVIOUR,warn_behaviour). +-define(WARN_BEHAVIOUR, warn_behaviour). %% %% The following type has double role: @@ -70,7 +71,7 @@ | ?WARN_CONTRACT_NOT_EQUAL | ?WARN_CONTRACT_SUBTYPE | ?WARN_CONTRACT_SUPERTYPE | ?WARN_CALLGRAPH | ?WARN_UNMATCHED_RETURN | ?WARN_RACE_CONDITION - | ?WARN_BEHAVIOUR. + | ?WARN_BEHAVIOUR | ?WARN_CONTRACT_RANGE. %% %% This is the representation of each warning as they will be returned |