From 77cbe3b6ced0ca42cf3ec5c8ca0333d9418a0372 Mon Sep 17 00:00:00 2001 From: Hans Bolinder Date: Wed, 17 Apr 2019 13:20:56 +0200 Subject: dialyzer: Add test cases with indentation A smallish selection of already existing tests, run with the indentation option. --- .../indent_SUITE_data/results/callbacks_and_specs | 23 ++++++++++++++++++++++ 1 file changed, 23 insertions(+) create mode 100644 lib/dialyzer/test/indent_SUITE_data/results/callbacks_and_specs (limited to 'lib/dialyzer/test/indent_SUITE_data/results/callbacks_and_specs') diff --git a/lib/dialyzer/test/indent_SUITE_data/results/callbacks_and_specs b/lib/dialyzer/test/indent_SUITE_data/results/callbacks_and_specs new file mode 100644 index 0000000000..dd9d3397d2 --- /dev/null +++ b/lib/dialyzer/test/indent_SUITE_data/results/callbacks_and_specs @@ -0,0 +1,23 @@ + +my_callbacks_wrong.erl:26: The return type + #state{parent :: pid(), + status :: 'closed' | 'init' | 'open', + subscribe :: [{pid(), integer()}], + counter :: integer()} in the specification of callback_init/1 is not a subtype of + {'ok', _}, which is the expected return type for the callback of the my_behaviour behaviour +my_callbacks_wrong.erl:28: The inferred return type of callback_init/1 + (#state{parent :: pid(), + status :: 'init', + subscribe :: [], + counter :: 1}) has nothing in common with + {'ok', _}, which is the expected return type for the callback of the my_behaviour behaviour +my_callbacks_wrong.erl:30: The return type + {'reply', + #state{parent :: pid(), + status :: 'closed' | 'init' | 'open', + subscribe :: [{pid(), integer()}], + counter :: integer()}} in the specification of callback_cast/3 is not a subtype of + {'noreply', _}, which is the expected return type for the callback of the my_behaviour behaviour +my_callbacks_wrong.erl:39: The specified type for the 2nd argument of callback_call/3 ( + atom()) is not a supertype of + pid(), which is expected type for this argument in the callback of the my_behaviour behaviour -- cgit v1.2.3