diff options
| author | Richard Carlsson <[email protected]> | 2018-02-20 13:47:25 +0100 |
|---|---|---|
| committer | Richard Carlsson <[email protected]> | 2018-02-20 21:35:53 +0100 |
| commit | 9883f9714bd4a56ae9d68b3b0e7958461918946e (patch) | |
| tree | db0432be9d234c11c6df8ae1f97cc8d0bbd4a4f7 /lib/dialyzer/src | |
| parent | 6b9d92005cf3eb9b2d8dc2370dd089f8d262fa06 (diff) | |
| download | otp-9883f9714bd4a56ae9d68b3b0e7958461918946e.tar.gz otp-9883f9714bd4a56ae9d68b3b0e7958461918946e.tar.bz2 otp-9883f9714bd4a56ae9d68b3b0e7958461918946e.zip | |
Dialyzer should not throw away spec information because of overspec
Diffstat (limited to 'lib/dialyzer/src')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_contracts.erl | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/dialyzer/src/dialyzer_contracts.erl b/lib/dialyzer/src/dialyzer_contracts.erl index e72c1aecfc..0df15e55f9 100644 --- a/lib/dialyzer/src/dialyzer_contracts.erl +++ b/lib/dialyzer/src/dialyzer_contracts.erl @@ -197,6 +197,10 @@ check_contracts(Contracts, Callgraph, FunTypes, ModOpaques) -> false -> [{MFA, Contract}|NewContracts] end; + {error, {extra_range, _, _}} -> + %% do not treat extra range as an error in this check + %% since that prevents discovering other actual errors + [{MFA, Contract}|NewContracts]; {error, _Error} -> NewContracts end; error -> NewContracts |