diff options
| author | Hans Bolinder <[email protected]> | 2016-03-21 15:50:58 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2016-06-09 11:28:00 +0200 |
| commit | d22b933fc64ab9e03633f87eebdc981acfd3538a (patch) | |
| tree | af6ad854b42bb36a628c1fe6f6eff1f2d381d0ab | |
| parent | e44b4c47605cce574222e1bc579fb1d71dee064f (diff) | |
| download | otp-d22b933fc64ab9e03633f87eebdc981acfd3538a.tar.gz otp-d22b933fc64ab9e03633f87eebdc981acfd3538a.tar.bz2 otp-d22b933fc64ab9e03633f87eebdc981acfd3538a.zip | |
dialyzer: Minor adjustments
| -rw-r--r-- | lib/dialyzer/src/dialyzer_dataflow.erl | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/lib/dialyzer/src/dialyzer_dataflow.erl b/lib/dialyzer/src/dialyzer_dataflow.erl index 59b4b0733e..9399789464 100644 --- a/lib/dialyzer/src/dialyzer_dataflow.erl +++ b/lib/dialyzer/src/dialyzer_dataflow.erl @@ -522,7 +522,7 @@ handle_apply_or_call([{TypeOfApply, {Fun, Sig, Contr, LocalRet}}|Left], ?debug("RetWithoutLocal: ~s\n", [erl_types:t_to_string(RetWithoutLocal)]), ?debug("BifRet: ~s\n", [erl_types:t_to_string(BifRange(NewArgTypes))]), ?debug("SigRange: ~s\n", [erl_types:t_to_string(SigRange)]), - ?debug("ContrRet: ~s\n", [erl_types:t_to_string(CRange(NewArgTypes))]), + ?debug("ContrRet: ~s\n", [erl_types:t_to_string(ContrRet)]), ?debug("LocalRet: ~s\n", [erl_types:t_to_string(LocalRet)]), State1 = @@ -3071,7 +3071,10 @@ state__add_warning(#state{warnings = Warnings, warning_mode = true} = State, false -> WarningInfo = {get_file(Ann), get_line(Ann), State#state.curr_fun}, Warn = {Tag, WarningInfo, Msg}, - ?debug("MSG ~s\n", [dialyzer:format_warning(Warn)]), + case Tag of + ?WARN_CONTRACT_RANGE -> ok; + _ -> ?debug("MSG ~s\n", [dialyzer:format_warning(Warn)]) + end, State#state{warnings = [Warn|Warnings]} end end. |