diff options
| author | Raimo Niskanen <raimo@erlang.org> | 2022-02-28 13:47:23 +0100 |
|---|---|---|
| committer | Raimo Niskanen <raimo@erlang.org> | 2022-03-02 14:43:15 +0100 |
| commit | 76bed16d9071bfc3e6ea53f74196f1eb599ed248 (patch) | |
| tree | 3c7a8605c731697a330a8d6a6d86a010aca401b4 /lib/dialyzer/test/behaviour_SUITE_data | |
| parent | 0e2da2d6adc5c38ecb726148f65b45ce3a4b53af (diff) | |
| download | erlang-76bed16d9071bfc3e6ea53f74196f1eb599ed248.tar.gz | |
Update dialyzer test cases
Diffstat (limited to 'lib/dialyzer/test/behaviour_SUITE_data')
| -rw-r--r-- | lib/dialyzer/test/behaviour_SUITE_data/results/gen_server_incorrect_args | 2 |
1 files changed, 1 insertions, 1 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 69c2186481..a1412f29e6 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 @@ -2,4 +2,4 @@ gen_server_incorrect_args.erl:3:2: Undefined callback function handle_cast/2 (behaviour gen_server) gen_server_incorrect_args.erl:3:2: Undefined callback function init/1 (behaviour gen_server) gen_server_incorrect_args.erl:7:1: The inferred return type of handle_call/3 ({'no'} | {'ok'}) has nothing in common with {'noreply',_} | {'noreply',_,'hibernate' | 'infinity' | non_neg_integer() | {'continue',_}} | {'reply',_,_} | {'stop',_,_} | {'reply',_,_,'hibernate' | 'infinity' | non_neg_integer() | {'continue',_}} | {'stop',_,_,_}, which is the expected return type for the callback of the gen_server behaviour -gen_server_incorrect_args.erl:7:1: 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 +gen_server_incorrect_args.erl:7:1: The inferred type for the 2nd argument of handle_call/3 ('boo' | 'foo') is not a supertype of {pid(),gen_server:reply_tag()}, which is expected type for this argument in the callback of the gen_server behaviour |