summaryrefslogtreecommitdiff
path: root/lib/dialyzer/test/behaviour_SUITE_data/results/sample_behaviour_old
blob: 6d8145a8ca03446cd00a72def8ca7a54693685f4 (plain)
1
2
3
4

incorrect_args_callback.erl:12:1: The inferred type for the 2nd argument of bar/2 ('yes') is not a supertype of [any()], which is expected type for this argument in the callback of the correct_behaviour behaviour
incorrect_return_callback.erl:9:1: The inferred return type of foo/0 ('error') has nothing in common with 'no' | 'yes', which is the expected return type for the callback of the correct_behaviour behaviour
missing_callback.erl:5:2: Undefined callback function foo/0 (behaviour correct_behaviour)