diff options
author | Stavros Aronis <[email protected]> | 2011-11-14 17:01:59 +0100 |
---|---|---|
committer | Stavros Aronis <[email protected]> | 2011-11-18 15:06:46 +0100 |
commit | 8167578ca6b23f3043ae2e21ded4b13b8db74e20 (patch) | |
tree | b0dea28568f073b63034cff0d3621f56e20795c7 /lib/dialyzer/test/behaviour_SUITE_data/results/gen_server_incorrect_args | |
parent | 8682e6b3db55f7f021e529b2134f223b4cc70ace (diff) | |
download | otp-8167578ca6b23f3043ae2e21ded4b13b8db74e20.tar.gz otp-8167578ca6b23f3043ae2e21ded4b13b8db74e20.tar.bz2 otp-8167578ca6b23f3043ae2e21ded4b13b8db74e20.zip |
Wrap up behaviours patch for Dialyzer
Enable warnings by default, add two options for suppressing them,
fix warning formatting and update testsuites.
Diffstat (limited to 'lib/dialyzer/test/behaviour_SUITE_data/results/gen_server_incorrect_args')
-rw-r--r-- | lib/dialyzer/test/behaviour_SUITE_data/results/gen_server_incorrect_args | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/dialyzer/test/behaviour_SUITE_data/results/gen_server_incorrect_args b/lib/dialyzer/test/behaviour_SUITE_data/results/gen_server_incorrect_args index 333216bc5c..3e98da785f 100644 --- a/lib/dialyzer/test/behaviour_SUITE_data/results/gen_server_incorrect_args +++ b/lib/dialyzer/test/behaviour_SUITE_data/results/gen_server_incorrect_args @@ -4,5 +4,5 @@ gen_server_incorrect_args.erl:3: Undefined callback function handle_cast/2 (beha gen_server_incorrect_args.erl:3: Undefined callback function handle_info/2 (behaviour 'gen_server') gen_server_incorrect_args.erl:3: Undefined callback function init/1 (behaviour 'gen_server') gen_server_incorrect_args.erl:3: Undefined callback function terminate/2 (behaviour 'gen_server') -gen_server_incorrect_args.erl:7: The inferred return type for handle_call/3 is {'no'} | {'ok'} which is not valid return for the callback of the gen_server behaviour -gen_server_incorrect_args.erl:7: The inferred type for the 2nd argument of handle_call/3 is 'boo' | 'foo' which is not valid for the callback of the gen_server behaviour +gen_server_incorrect_args.erl:7: The inferred return type of handle_call/3 ({'no'} | {'ok'}) has nothing in common with {'noreply',_} | {'noreply',_,'hibernate' | 'infinity' | non_neg_integer()} | {'reply',_,_} | {'stop',_,_} | {'reply',_,_,'hibernate' | 'infinity' | non_neg_integer()} | {'stop',_,_,_}, which is the expected return type for the callback of gen_server behaviour +gen_server_incorrect_args.erl:7: The inferred type for the 2nd argument of handle_call/3 ('boo' | 'foo') is not a supertype of {pid(),_}, which is expected type for this argument in the callback of the gen_server behaviour |