diff options
author | Henrik Nord <[email protected]> | 2011-11-14 16:03:02 +0100 |
---|---|---|
committer | Henrik Nord <[email protected]> | 2011-11-14 16:03:09 +0100 |
commit | 6acdb64f208e26d78c7f55e6206b75b948e63daa (patch) | |
tree | ef3aa9cd221bf5ce5a8f58647962a562bd4897e0 /lib/dialyzer/src/dialyzer_contracts.erl | |
parent | c87b8781f82eb3b8b4c2e9651070391d82e6c0ec (diff) | |
parent | 33f6f1376a1b2c1109997fd324e3a6072929d950 (diff) | |
download | otp-6acdb64f208e26d78c7f55e6206b75b948e63daa.tar.gz otp-6acdb64f208e26d78c7f55e6206b75b948e63daa.tar.bz2 otp-6acdb64f208e26d78c7f55e6206b75b948e63daa.zip |
Merge branch 'sa/dialyzer-wunderspecs'
* sa/dialyzer-wunderspecs:
Fix false warning about closure application
Change category of 'might also return' warnings
OTP-9707
Diffstat (limited to 'lib/dialyzer/src/dialyzer_contracts.erl')
-rw-r--r-- | lib/dialyzer/src/dialyzer_contracts.erl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/dialyzer/src/dialyzer_contracts.erl b/lib/dialyzer/src/dialyzer_contracts.erl index bcdcf2685d..84b926a17a 100644 --- a/lib/dialyzer/src/dialyzer_contracts.erl +++ b/lib/dialyzer/src/dialyzer_contracts.erl @@ -480,7 +480,7 @@ invalid_contract_warning({M, F, A}, FileLine, SuccType, RecDict) -> extra_range_warning({M, F, A}, FileLine, ExtraRanges, STRange) -> ERangesStr = erl_types:t_to_string(ExtraRanges), STRangeStr = erl_types:t_to_string(STRange), - {?WARN_CONTRACT_TYPES, FileLine, + {?WARN_CONTRACT_SUPERTYPE, FileLine, {extra_range, [M, F, A, ERangesStr, STRangeStr]}}. picky_contract_check(CSig0, Sig0, MFA, FileLine, Contract, RecDict, Acc) -> |