diff options
| author | Hans Bolinder <[email protected]> | 2015-12-09 15:05:40 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2015-12-15 08:55:07 +0100 |
| commit | ce1cffd6f8812fa6216d9d71afaca20e789b7beb (patch) | |
| tree | 7b88bb1a63bb087a50cf1a1569b18ca91234807b /lib/dialyzer/test/user_SUITE_data | |
| parent | 2af883c62efe6bae1bf9013783f43a5b9848c237 (diff) | |
| download | otp-ce1cffd6f8812fa6216d9d71afaca20e789b7beb.tar.gz otp-ce1cffd6f8812fa6216d9d71afaca20e789b7beb.tar.bz2 otp-ce1cffd6f8812fa6216d9d71afaca20e789b7beb.zip | |
dialyzer: Print constraints using the '::' syntax
Diffstat (limited to 'lib/dialyzer/test/user_SUITE_data')
| -rw-r--r-- | lib/dialyzer/test/user_SUITE_data/results/wsp_pdu | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/dialyzer/test/user_SUITE_data/results/wsp_pdu b/lib/dialyzer/test/user_SUITE_data/results/wsp_pdu index d1f8f4caf2..626e677524 100644 --- a/lib/dialyzer/test/user_SUITE_data/results/wsp_pdu +++ b/lib/dialyzer/test/user_SUITE_data/results/wsp_pdu @@ -6,7 +6,7 @@ wsp_pdu.erl:2403: The call wsp_pdu:d_date(Data1::binary()) will never return sin wsp_pdu.erl:2406: Guard test is_integer(Sec::{[byte()] | byte() | {'long',binary()} | {'short',binary()},binary()}) can never succeed wsp_pdu.erl:2408: The pattern {'short', Data2} can never match the type {[byte()] | byte() | {'long',binary()} | {'short',binary()},binary()} wsp_pdu.erl:2755: Function parse_push_flag/1 has no local return -wsp_pdu.erl:2756: The call erlang:integer_to_list(Value::[any()]) breaks the contract (Integer) -> string() when is_subtype(Integer,integer()) +wsp_pdu.erl:2756: The call erlang:integer_to_list(Value::[any()]) breaks the contract (Integer) -> string() when Integer :: integer() wsp_pdu.erl:2875: The call wsp_pdu:d_text_string(Data::byte()) will never return since it differs in the 1st argument from the success typing arguments: (binary()) wsp_pdu.erl:2976: The call wsp_pdu:d_q_value(QData::byte()) will never return since it differs in the 1st argument from the success typing arguments: (<<_:8,_:_*8>>) wsp_pdu.erl:3336: The call wsp_pdu:encode_typed_field(Ver::any(),'Q-value',ParamValue::any()) will never return since it differs in the 2nd argument from the success typing arguments: (any(),'Constrained-encoding' | 'Date-value' | 'No-value' | 'Short-integer' | 'Text-string' | 'Text-value' | 'Well-known-charset',any()) |