diff options
Diffstat (limited to 'lib/dialyzer/test/small_tests_SUITE_data/results')
67 files changed, 0 insertions, 136 deletions
diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/andalso_test b/lib/dialyzer/test/small_tests_SUITE_data/results/andalso_test deleted file mode 100644 index e69de29bb2..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/andalso_test +++ /dev/null diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/app_call b/lib/dialyzer/test/small_tests_SUITE_data/results/app_call deleted file mode 100644 index cc1a63f944..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/app_call +++ /dev/null @@ -1,3 +0,0 @@ - -app_call.erl:6: The call M:'foo'() requires that M is of type atom() | tuple() not 42 -app_call.erl:9: The call 'mod':F() requires that F is of type atom() not {'gazonk',[]} diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/appmon_place b/lib/dialyzer/test/small_tests_SUITE_data/results/appmon_place deleted file mode 100644 index e69de29bb2..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/appmon_place +++ /dev/null diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/areq b/lib/dialyzer/test/small_tests_SUITE_data/results/areq deleted file mode 100644 index dd91f2d2bf..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/areq +++ /dev/null @@ -1,2 +0,0 @@ - -areq.erl:11: The test float() =:= 3 can never evaluate to 'true' diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/atom_call b/lib/dialyzer/test/small_tests_SUITE_data/results/atom_call deleted file mode 100644 index 851bb7ab12..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/atom_call +++ /dev/null @@ -1,3 +0,0 @@ - -atom_call.erl:14: Fun application will fail since F :: 'f' is not a function of arity 0 -atom_call.erl:14: Function g/0 has no local return diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/atom_widen b/lib/dialyzer/test/small_tests_SUITE_data/results/atom_widen deleted file mode 100644 index 6d0a7b2737..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/atom_widen +++ /dev/null @@ -1,3 +0,0 @@ - -atom_widen.erl:10: The call atom_widen:foo('z') will never return since it differs in the 1st argument from the success typing arguments: ('a' | 'b' | 'c' | 'd' | 'e' | 'f' | 'g' | 'h' | 'i' | 'k' | 'l' | 'm' | 'n') -atom_widen.erl:9: Function test/0 has no local return diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/bs_fail_constr b/lib/dialyzer/test/small_tests_SUITE_data/results/bs_fail_constr deleted file mode 100644 index dbc8241971..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/bs_fail_constr +++ /dev/null @@ -1,9 +0,0 @@ - -bs_fail_constr.erl:11: Function w3/1 has no local return -bs_fail_constr.erl:12: Binary construction will fail since the size field S in segment 42:S/integer-unit:1 has type neg_integer() -bs_fail_constr.erl:14: Function w4/1 has no local return -bs_fail_constr.erl:15: Binary construction will fail since the value field V in segment V/utf32 has type float() -bs_fail_constr.erl:5: Function w1/1 has no local return -bs_fail_constr.erl:6: Binary construction will fail since the value field V in segment V:8/integer-unit:1 has type float() -bs_fail_constr.erl:8: Function w2/1 has no local return -bs_fail_constr.erl:9: Binary construction will fail since the value field V in segment V/binary-unit:8 has type atom() diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/bs_utf8 b/lib/dialyzer/test/small_tests_SUITE_data/results/bs_utf8 deleted file mode 100644 index e69de29bb2..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/bs_utf8 +++ /dev/null diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/cerl_hipeify b/lib/dialyzer/test/small_tests_SUITE_data/results/cerl_hipeify deleted file mode 100644 index 87bf6f309f..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/cerl_hipeify +++ /dev/null @@ -1,4 +0,0 @@ - -cerl_hipeify.erl:370: Function will never be called -cerl_hipeify.erl:370: Guard test fun((none()) -> none()) =:= F::{_,_,_} | {_,_,_,_} | {_,_,_,_,_} | {_,_,_,_,_,_} | {_,_,_,_,_,_,_} can never succeed -cerl_hipeify.erl:641: Function env__new_function_name/2 will never be called diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/comm_layer b/lib/dialyzer/test/small_tests_SUITE_data/results/comm_layer deleted file mode 100644 index cb4bf14eb4..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/comm_layer +++ /dev/null @@ -1,2 +0,0 @@ - -comm_layer.erl:76: Invalid type specification for function 'comm_layer_dir.comm_layer':this/0. The success typing is () -> {_,integer(),pid()} diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/compare1 b/lib/dialyzer/test/small_tests_SUITE_data/results/compare1 deleted file mode 100644 index f0d696ffcb..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/compare1 +++ /dev/null @@ -1,4 +0,0 @@ - -compare1.erl:15: Guard test X::42 > 42 can never succeed -compare1.erl:17: Guard test X::42 < 42 can never succeed -compare1.erl:19: Guard test X::42 =/= 42 can never succeed diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/confusing_warning b/lib/dialyzer/test/small_tests_SUITE_data/results/confusing_warning deleted file mode 100644 index d2d0c91fff..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/confusing_warning +++ /dev/null @@ -1,2 +0,0 @@ - -confusing_warning.erl:16: The pattern {'a', {_, L}} can never match the type {'b','aaa' | 'bbb'} diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/contract1 b/lib/dialyzer/test/small_tests_SUITE_data/results/contract1 deleted file mode 100644 index fb8ba5f72b..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/contract1 +++ /dev/null @@ -1,3 +0,0 @@ - -contract1.erl:23: Function test/0 has no local return -contract1.erl:24: The pattern 42 can never match the type 'a' | 'b' | 'c' diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/contract2 b/lib/dialyzer/test/small_tests_SUITE_data/results/contract2 deleted file mode 100644 index 6809e528c4..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/contract2 +++ /dev/null @@ -1,2 +0,0 @@ - -contract2.erl:13: The call contract2:test(T::any(),nonempty_maybe_improper_list()) will never return since it differs in the 2nd argument from the success typing arguments: (['true'],[]) diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/contract3 b/lib/dialyzer/test/small_tests_SUITE_data/results/contract3 deleted file mode 100644 index 44b49e745a..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/contract3 +++ /dev/null @@ -1,3 +0,0 @@ - -contract3.erl:17: Overloaded contract has overlapping domains; such contracts are currently unsupported and are simply ignored -contract3.erl:29: Overloaded contract has overlapping domains; such contracts are currently unsupported and are simply ignored diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/contract5 b/lib/dialyzer/test/small_tests_SUITE_data/results/contract5 deleted file mode 100644 index 116c4f4d4d..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/contract5 +++ /dev/null @@ -1,2 +0,0 @@ - -contract5.erl:13: Invalid type specification for function contract5:t/0. The success typing is () -> #bar{baz::'not_a_boolean'} diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/eqeq b/lib/dialyzer/test/small_tests_SUITE_data/results/eqeq deleted file mode 100644 index dabd38ebe3..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/eqeq +++ /dev/null @@ -1,2 +0,0 @@ - -eqeq.erl:15: The test float() =:= 'foo' can never evaluate to 'true' diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/ets_select b/lib/dialyzer/test/small_tests_SUITE_data/results/ets_select deleted file mode 100644 index e69de29bb2..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/ets_select +++ /dev/null diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/exhaust_case b/lib/dialyzer/test/small_tests_SUITE_data/results/exhaust_case deleted file mode 100644 index 45cdd80b64..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/exhaust_case +++ /dev/null @@ -1,3 +0,0 @@ - -exhaust_case.erl:17: The pattern 42 can never match the type 'bar' | 'foo' -exhaust_case.erl:18: The variable _other can never match since previous clauses completely covered the type 'bar' | 'foo' diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/failing_guard1 b/lib/dialyzer/test/small_tests_SUITE_data/results/failing_guard1 deleted file mode 100644 index 5bdd13093a..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/failing_guard1 +++ /dev/null @@ -1,4 +0,0 @@ - -failing_guard1.erl:12: Guard test float() =:= 2 can never succeed -failing_guard1.erl:13: Guard test integer() =:= float() can never succeed -failing_guard1.erl:14: Guard test -2 | -1 | 0 | 1 | 2 =:= float() can never succeed diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/flatten b/lib/dialyzer/test/small_tests_SUITE_data/results/flatten deleted file mode 100644 index 4571214e49..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/flatten +++ /dev/null @@ -1,2 +0,0 @@ - -flatten.erl:17: The call lists:flatten(nonempty_improper_list(atom() | binary() | [any()] | char(),atom())) will never return since it differs in the 1st argument from the success typing arguments: ([any()]) diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/fun_app b/lib/dialyzer/test/small_tests_SUITE_data/results/fun_app deleted file mode 100644 index b28baad43b..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/fun_app +++ /dev/null @@ -1,7 +0,0 @@ - -fun_app.erl:37: Fun application will fail since F :: fun((_,_,_) -> 'ok' | 'true') is not a function of arity 1 -fun_app.erl:37: The created fun has no local return -fun_app.erl:38: Fun application will fail since F :: fun((_,_,_) -> 'ok' | 'true') is not a function of arity 2 -fun_app.erl:38: The created fun has no local return -fun_app.erl:40: Fun application will fail since F :: fun((_,_,_) -> 'ok' | 'true') is not a function of arity 4 -fun_app.erl:40: The created fun has no local return diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/fun_ref_match b/lib/dialyzer/test/small_tests_SUITE_data/results/fun_ref_match deleted file mode 100644 index 60b34530b4..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/fun_ref_match +++ /dev/null @@ -1,2 +0,0 @@ - -fun_ref_match.erl:14: Function will never be called diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/gencall b/lib/dialyzer/test/small_tests_SUITE_data/results/gencall deleted file mode 100644 index d0479ed738..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/gencall +++ /dev/null @@ -1,4 +0,0 @@ - -gencall.erl:11: Call to missing or unexported function gencall:foo/0 -gencall.erl:12: Call to missing or unexported function gen_server:handle_cast/2 -gencall.erl:9: Call to missing or unexported function ets:lookup/3 diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/gs_make b/lib/dialyzer/test/small_tests_SUITE_data/results/gs_make deleted file mode 100644 index e69de29bb2..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/gs_make +++ /dev/null diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/inf_loop2 b/lib/dialyzer/test/small_tests_SUITE_data/results/inf_loop2 deleted file mode 100644 index 7e9972ad98..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/inf_loop2 +++ /dev/null @@ -1,4 +0,0 @@ - -inf_loop2.erl:18: Function test/0 has no local return -inf_loop2.erl:19: The call lists:reverse('gazonk') will never return since it differs in the 1st argument from the success typing arguments: ([any()]) -inf_loop2.erl:22: Function loop/0 has no local return diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/invalid_specs b/lib/dialyzer/test/small_tests_SUITE_data/results/invalid_specs deleted file mode 100644 index c95c0ff1f8..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/invalid_specs +++ /dev/null @@ -1,3 +0,0 @@ - -invalid_spec1.erl:5: Invalid type specification for function invalid_spec1:get_plan_dirty/1. The success typing is ([string()]) -> {maybe_improper_list(),[atom()]} -invalid_spec2.erl:5: Function foo/0 has no local return diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/letrec1 b/lib/dialyzer/test/small_tests_SUITE_data/results/letrec1 deleted file mode 100644 index e69de29bb2..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/letrec1 +++ /dev/null diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/list_match b/lib/dialyzer/test/small_tests_SUITE_data/results/list_match deleted file mode 100644 index 95007da604..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/list_match +++ /dev/null @@ -1,2 +0,0 @@ - -list_match.erl:19: The pattern [_ | T] can never match since previous clauses completely covered the type [1 | 2 | 3 | 4] diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/lzip b/lib/dialyzer/test/small_tests_SUITE_data/results/lzip deleted file mode 100644 index e69de29bb2..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/lzip +++ /dev/null diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/make_tuple b/lib/dialyzer/test/small_tests_SUITE_data/results/make_tuple deleted file mode 100644 index 4d51586e35..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/make_tuple +++ /dev/null @@ -1,3 +0,0 @@ - -make_tuple.erl:4: Function test/0 has no local return -make_tuple.erl:5: The pattern {_, _} can never match the type {_,_,_} diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/minus_minus b/lib/dialyzer/test/small_tests_SUITE_data/results/minus_minus deleted file mode 100644 index e69de29bb2..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/minus_minus +++ /dev/null diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/mod_info b/lib/dialyzer/test/small_tests_SUITE_data/results/mod_info deleted file mode 100644 index e69de29bb2..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/mod_info +++ /dev/null diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/my_filter b/lib/dialyzer/test/small_tests_SUITE_data/results/my_filter deleted file mode 100644 index e69de29bb2..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/my_filter +++ /dev/null diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/my_sofs b/lib/dialyzer/test/small_tests_SUITE_data/results/my_sofs deleted file mode 100644 index bfee0bce0d..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/my_sofs +++ /dev/null @@ -1,3 +0,0 @@ - -my_sofs.erl:34: The pattern {'Set', _, _} can never match the type #OrdSet{} -my_sofs.erl:54: The pattern {'Set', _, _} can never match the type #OrdSet{} diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/no_match b/lib/dialyzer/test/small_tests_SUITE_data/results/no_match deleted file mode 100644 index 9760b980a2..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/no_match +++ /dev/null @@ -1,4 +0,0 @@ - -no_match.erl:5: Function t1/1 has no clauses that will ever match -no_match.erl:7: Function t2/1 has no clauses that will ever match -no_match.erl:9: Function t3/1 has no local return diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/no_unused_fun b/lib/dialyzer/test/small_tests_SUITE_data/results/no_unused_fun deleted file mode 100644 index e69de29bb2..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/no_unused_fun +++ /dev/null diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/no_unused_fun2 b/lib/dialyzer/test/small_tests_SUITE_data/results/no_unused_fun2 deleted file mode 100644 index e69de29bb2..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/no_unused_fun2 +++ /dev/null diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/non_existing b/lib/dialyzer/test/small_tests_SUITE_data/results/non_existing deleted file mode 100644 index 58da2bfc8b..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/non_existing +++ /dev/null @@ -1,2 +0,0 @@ - -non_existing.erl:9: Call to missing or unexported function lists:non_existing_call/1 diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/not_guard_crash b/lib/dialyzer/test/small_tests_SUITE_data/results/not_guard_crash deleted file mode 100644 index e69de29bb2..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/not_guard_crash +++ /dev/null diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/or_bug b/lib/dialyzer/test/small_tests_SUITE_data/results/or_bug deleted file mode 100644 index e69de29bb2..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/or_bug +++ /dev/null diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/orelsebug b/lib/dialyzer/test/small_tests_SUITE_data/results/orelsebug deleted file mode 100644 index e69de29bb2..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/orelsebug +++ /dev/null diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/orelsebug2 b/lib/dialyzer/test/small_tests_SUITE_data/results/orelsebug2 deleted file mode 100644 index e69de29bb2..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/orelsebug2 +++ /dev/null diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/overloaded1 b/lib/dialyzer/test/small_tests_SUITE_data/results/overloaded1 deleted file mode 100644 index ab57ec03ff..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/overloaded1 +++ /dev/null @@ -1,3 +0,0 @@ - -overloaded1.erl:10: The pattern {'ok', 'gazonk'} can never match the type {'error',_} | {'ok',{atom(),atom(),byte()}} -overloaded1.erl:9: Function test1/0 has no local return diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/port_info_test b/lib/dialyzer/test/small_tests_SUITE_data/results/port_info_test deleted file mode 100644 index 9ee863f9eb..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/port_info_test +++ /dev/null @@ -1,6 +0,0 @@ - -port_info_test.erl:10: The pattern {'connected', 42} can never match the type 'undefined' | {'connected',pid()} -port_info_test.erl:14: The pattern {'registered_name', "42"} can never match the type 'undefined' | {'registered_name',atom()} -port_info_test.erl:19: The pattern {'output', 42} can never match the type 'undefined' | {'connected',pid()} -port_info_test.erl:24: Guard test 'links' =:= Atom::'connected' can never succeed -port_info_test.erl:28: The pattern {'gazonk', _} can never match the type 'undefined' | {'connected' | 'id' | 'input' | 'links' | 'name' | 'output' | 'registered_name',atom() | pid() | [pid() | char()] | integer()} diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/process_info_test b/lib/dialyzer/test/small_tests_SUITE_data/results/process_info_test deleted file mode 100644 index e69de29bb2..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/process_info_test +++ /dev/null diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/pubsub b/lib/dialyzer/test/small_tests_SUITE_data/results/pubsub deleted file mode 100644 index e69de29bb2..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/pubsub +++ /dev/null diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/receive1 b/lib/dialyzer/test/small_tests_SUITE_data/results/receive1 deleted file mode 100644 index abf6eec0ca..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/receive1 +++ /dev/null @@ -1,2 +0,0 @@ - -receive1.erl:12: Function t/1 has no local return diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/record_construct b/lib/dialyzer/test/small_tests_SUITE_data/results/record_construct deleted file mode 100644 index c0110b144f..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/record_construct +++ /dev/null @@ -1,7 +0,0 @@ - -record_construct.erl:15: Function t_opa/0 has no local return -record_construct.erl:16: Record construction #r_opa{b::gb_set(),c::42,e::'false'} violates the declared type of field c::boolean() -record_construct.erl:20: Function t_rem/0 has no local return -record_construct.erl:21: Record construction #r_rem{a::'gazonk'} violates the declared type of field a::string() -record_construct.erl:6: Function t_loc/0 has no local return -record_construct.erl:7: Record construction #r_loc{a::'gazonk',b::42} violates the declared type of field a::integer() and b::atom() diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/record_pat b/lib/dialyzer/test/small_tests_SUITE_data/results/record_pat deleted file mode 100644 index 9a3f925e42..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/record_pat +++ /dev/null @@ -1,2 +0,0 @@ - -record_pat.erl:14: The pattern {'foo', 'baz'} violates the declared type for #foo{} diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/record_send_test b/lib/dialyzer/test/small_tests_SUITE_data/results/record_send_test deleted file mode 100644 index 6a08d44179..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/record_send_test +++ /dev/null @@ -1,2 +0,0 @@ - -record_send_test.erl:30: The call erlang:'!'(Rec1::#rec1{a::'a',b::'b',c::'c'},'hello_again') will never return since it differs in the 1st argument from the success typing arguments: (atom() | pid() | port() | {atom(),atom()},any()) diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/record_test b/lib/dialyzer/test/small_tests_SUITE_data/results/record_test deleted file mode 100644 index 9715f0dcfb..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/record_test +++ /dev/null @@ -1,3 +0,0 @@ - -record_test.erl:19: The pattern {'foo', _} can never match the type 'foo' -record_test.erl:21: The variable _ can never match since previous clauses completely covered the type 'foo' diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/recursive_types1 b/lib/dialyzer/test/small_tests_SUITE_data/results/recursive_types1 deleted file mode 100644 index e69de29bb2..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/recursive_types1 +++ /dev/null diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/recursive_types2 b/lib/dialyzer/test/small_tests_SUITE_data/results/recursive_types2 deleted file mode 100644 index e69de29bb2..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/recursive_types2 +++ /dev/null diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/recursive_types3 b/lib/dialyzer/test/small_tests_SUITE_data/results/recursive_types3 deleted file mode 100644 index e69de29bb2..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/recursive_types3 +++ /dev/null diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/recursive_types4 b/lib/dialyzer/test/small_tests_SUITE_data/results/recursive_types4 deleted file mode 100644 index e69de29bb2..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/recursive_types4 +++ /dev/null diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/recursive_types5 b/lib/dialyzer/test/small_tests_SUITE_data/results/recursive_types5 deleted file mode 100644 index e69de29bb2..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/recursive_types5 +++ /dev/null diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/recursive_types6 b/lib/dialyzer/test/small_tests_SUITE_data/results/recursive_types6 deleted file mode 100644 index e69de29bb2..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/recursive_types6 +++ /dev/null diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/recursive_types7 b/lib/dialyzer/test/small_tests_SUITE_data/results/recursive_types7 deleted file mode 100644 index e69de29bb2..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/recursive_types7 +++ /dev/null diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/toth b/lib/dialyzer/test/small_tests_SUITE_data/results/toth deleted file mode 100644 index e69de29bb2..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/toth +++ /dev/null diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/trec b/lib/dialyzer/test/small_tests_SUITE_data/results/trec deleted file mode 100644 index 01ccc63761..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/trec +++ /dev/null @@ -1,7 +0,0 @@ - -trec.erl:26: Function test/0 has no local return -trec.erl:27: The call trec:mk_foo_loc(42,any()) will never return since it differs in the 1st argument from the success typing arguments: ('undefined',atom()) -trec.erl:29: Function mk_foo_loc/2 has no local return -trec.erl:30: Record construction violates the declared type for #foo{} since variable A cannot be of type atom() -trec.erl:36: Function mk_foo_exp/2 has no local return -trec.erl:37: Record construction violates the declared type for #foo{} since variable A cannot be of type atom() diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/try1 b/lib/dialyzer/test/small_tests_SUITE_data/results/try1 deleted file mode 100644 index e69de29bb2..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/try1 +++ /dev/null diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/tuple1 b/lib/dialyzer/test/small_tests_SUITE_data/results/tuple1 deleted file mode 100644 index 1b5ed49b56..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/tuple1 +++ /dev/null @@ -1,5 +0,0 @@ - -tuple1.erl:13: Function t1/2 has no local return -tuple1.erl:14: The call lists:mapfoldl(fun((_,_) -> 'a' | 'b'),X::any(),List::nonempty_maybe_improper_list()) will never return since the success typing arguments are (fun((_,_) -> {_,_}),any(),[any()]) -tuple1.erl:19: Function t3/2 has no local return -tuple1.erl:20: The call lists:mapfoldl(fun((_) -> 1),X::any(),List::nonempty_maybe_improper_list()) will never return since it differs in the 1st argument from the success typing arguments: (fun((_,_) -> {_,_}),any(),[any()]) diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/unsafe_beamcode_bug b/lib/dialyzer/test/small_tests_SUITE_data/results/unsafe_beamcode_bug deleted file mode 100644 index e69de29bb2..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/unsafe_beamcode_bug +++ /dev/null diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/unused_cases b/lib/dialyzer/test/small_tests_SUITE_data/results/unused_cases deleted file mode 100644 index cafe1c042b..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/unused_cases +++ /dev/null @@ -1,4 +0,0 @@ - -unused_cases.erl:21: The variable OTHER can never match since previous clauses completely covered the type {42,42} -unused_cases.erl:27: The pattern 'weird' can never match the type 'false' -unused_cases.erl:35: The variable OTHER can never match since previous clauses completely covered the type boolean() diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/unused_clauses b/lib/dialyzer/test/small_tests_SUITE_data/results/unused_clauses deleted file mode 100644 index 4603e888c1..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/unused_clauses +++ /dev/null @@ -1,3 +0,0 @@ - -unused_clauses.erl:16: Guard test is_integer(X::{42}) can never succeed -unused_clauses.erl:18: The variable X can never match since previous clauses completely covered the type 'atom' | {42} diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/zero_tuple b/lib/dialyzer/test/small_tests_SUITE_data/results/zero_tuple deleted file mode 100644 index bf5ec5cd6e..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/zero_tuple +++ /dev/null @@ -1,5 +0,0 @@ - -zero_tuple.erl:4: Function t1/0 has no local return -zero_tuple.erl:5: The pattern {} can never match the type 'a' -zero_tuple.erl:8: Function t2/0 has no local return -zero_tuple.erl:9: The pattern 'b' can never match the type 'a' |