aboutsummaryrefslogblamecommitdiffstats
path: root/lib/dialyzer/test/behaviour_SUITE_data/results/sample_behaviour_old
blob: 67aa872984f3c3d44b3e91feb16399a387687332 (plain) (tree)
1
2
3
4
 
                                                                                                                                                                                                                  

                                                                                                                                                                                                           
incorrect_args_callback.erl:12: 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: 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: Undefined callback function foo/0 (behaviour correct_behaviour)