diff options
| author | Niclas Axelsson <[email protected]> | 2011-03-11 12:04:20 +0100 |
|---|---|---|
| committer | Niclas Axelsson <[email protected]> | 2011-03-11 12:04:56 +0100 |
| commit | c114083eeae4b98f30a6b2091e6839aee7573ddc (patch) | |
| tree | adeea5841668dfc2e4b7ec37e01bd6f307d8457e /lib/dialyzer/src/dialyzer_options.erl | |
| parent | 1f07334d042e478d385caa0d7634ebfa6703f27a (diff) | |
| parent | 8c563c842e1966391c4dfbced4426a2ce2e9e7cb (diff) | |
| download | otp-c114083eeae4b98f30a6b2091e6839aee7573ddc.tar.gz otp-c114083eeae4b98f30a6b2091e6839aee7573ddc.tar.bz2 otp-c114083eeae4b98f30a6b2091e6839aee7573ddc.zip | |
Merge branch 'ks/dialyzer-r14b02-final-touches' into dev
* ks/dialyzer-r14b02-final-touches:
Release notes and new version for R14B02
More descriptive warning when a tuple pattern matches a typed record
Better blame assignment when a spec is erroneous
Generate better warnings for failing guards
Fix an erroneous warning
Refactoring so that a flat string() is returned
Renamed error/1 function and added specs
Renamed error/1 function and added specs
OTP-9126
Diffstat (limited to 'lib/dialyzer/src/dialyzer_options.erl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_options.erl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/dialyzer/src/dialyzer_options.erl b/lib/dialyzer/src/dialyzer_options.erl index 29e164628a..b2a67de8bd 100644 --- a/lib/dialyzer/src/dialyzer_options.erl +++ b/lib/dialyzer/src/dialyzer_options.erl @@ -47,6 +47,7 @@ build(Opts) -> ?WARN_FAILING_CALL, ?WARN_BIN_CONSTRUCTION, ?WARN_CALLGRAPH, + ?WARN_CONTRACT_RANGE, ?WARN_CONTRACT_TYPES, ?WARN_CONTRACT_SYNTAX], DefaultWarns1 = ordsets:from_list(DefaultWarns), |