diff options
| author | Patrik Nyblom <[email protected]> | 2012-02-03 17:02:07 +0100 |
|---|---|---|
| committer | Patrik Nyblom <[email protected]> | 2012-02-07 16:01:51 +0100 |
| commit | a02909a11a33880b486135b396aabfd3060b8d8d (patch) | |
| tree | aa20fea8c921b3460f8868ce905a4e2243d34dac /lib/dialyzer/test/user_SUITE_data | |
| parent | 9d870a01dd2fc331b987905b981c52f57a44669f (diff) | |
| download | otp-a02909a11a33880b486135b396aabfd3060b8d8d.tar.gz otp-a02909a11a33880b486135b396aabfd3060b8d8d.tar.bz2 otp-a02909a11a33880b486135b396aabfd3060b8d8d.zip | |
Correct docs, comments and dialyzer tests
Update preloaded erlang.beam
Removed stray error in dialyzer test suite - different error message
with the new specs.
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 a47b1f1f2c..d1f8f4caf2 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()]) will never return since it differs in the 1st argument from the success typing arguments: (integer()) +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: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()) |