diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/dialyzer/test/user_SUITE_data/results/wsp_pdu | 2 | ||||
| -rw-r--r-- | lib/stdlib/src/ets.erl | 1 | ||||
| -rw-r--r-- | lib/stdlib/src/lists.erl | 5 |
3 files changed, 7 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()) diff --git a/lib/stdlib/src/ets.erl b/lib/stdlib/src/ets.erl index 4a96808810..817b397cc4 100644 --- a/lib/stdlib/src/ets.erl +++ b/lib/stdlib/src/ets.erl @@ -301,6 +301,7 @@ next(_, _) -> prev(_, _) -> erlang:nif_error(undef). +%% Shadowed by erl_bif_types: ets:rename/2 -spec rename(Tab, Name) -> Name when Tab :: tab(), Name :: atom(). diff --git a/lib/stdlib/src/lists.erl b/lib/stdlib/src/lists.erl index d4f14dc8f5..eb527471d5 100644 --- a/lib/stdlib/src/lists.erl +++ b/lib/stdlib/src/lists.erl @@ -43,6 +43,7 @@ %%% BIFs -export([keyfind/3, keymember/3, keysearch/3, member/2, reverse/2]). +%% Shadowed by erl_bif_types: lists:keyfind/3 -spec keyfind(Key, N, TupleList) -> Tuple | false when Key :: term(), N :: pos_integer(), @@ -52,6 +53,7 @@ keyfind(_, _, _) -> erlang:nif_error(undef). +%% Shadowed by erl_bif_types: lists:keymember/3 -spec keymember(Key, N, TupleList) -> boolean() when Key :: term(), N :: pos_integer(), @@ -61,6 +63,7 @@ keyfind(_, _, _) -> keymember(_, _, _) -> erlang:nif_error(undef). +%% Shadowed by erl_bif_types: lists:keysearch/3 -spec keysearch(Key, N, TupleList) -> {value, Tuple} | false when Key :: term(), N :: pos_integer(), @@ -70,6 +73,7 @@ keymember(_, _, _) -> keysearch(_, _, _) -> erlang:nif_error(undef). +%% Shadowed by erl_bif_types: lists:member/2 -spec member(Elem, List) -> boolean() when Elem :: T, List :: [T], @@ -78,6 +82,7 @@ keysearch(_, _, _) -> member(_, _) -> erlang:nif_error(undef). +%% Shadowed by erl_bif_types: lists:reverse/2 -spec reverse(List1, Tail) -> List2 when List1 :: [T], Tail :: term(), |