diff options
author | Hans Bolinder <[email protected]> | 2019-04-17 13:20:56 +0200 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2019-05-07 08:25:03 +0200 |
commit | 77cbe3b6ced0ca42cf3ec5c8ca0333d9418a0372 (patch) | |
tree | 5e5e5f8785e10647ac62fb026134925ad64b053f /lib/dialyzer/test/indent_SUITE_data/results/sample_behaviour | |
parent | b0a7495c44ebf6741714948bdf5c0cb9593ec953 (diff) | |
download | otp-77cbe3b6ced0ca42cf3ec5c8ca0333d9418a0372.tar.gz otp-77cbe3b6ced0ca42cf3ec5c8ca0333d9418a0372.tar.bz2 otp-77cbe3b6ced0ca42cf3ec5c8ca0333d9418a0372.zip |
dialyzer: Add test cases with indentation
A smallish selection of already existing tests, run with
the indentation option.
Diffstat (limited to 'lib/dialyzer/test/indent_SUITE_data/results/sample_behaviour')
-rw-r--r-- | lib/dialyzer/test/indent_SUITE_data/results/sample_behaviour | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/lib/dialyzer/test/indent_SUITE_data/results/sample_behaviour b/lib/dialyzer/test/indent_SUITE_data/results/sample_behaviour new file mode 100644 index 0000000000..f0e41d024a --- /dev/null +++ b/lib/dialyzer/test/indent_SUITE_data/results/sample_behaviour @@ -0,0 +1,23 @@ + +sample_callback_wrong.erl:16: The inferred return type of sample_callback_2/0 + (42) has nothing in common with + atom(), which is the expected return type for the callback of the sample_behaviour behaviour +sample_callback_wrong.erl:17: The inferred return type of sample_callback_3/0 + ('fair') has nothing in common with + 'fail' | {'ok', 1..255}, which is the expected return type for the callback of the sample_behaviour behaviour +sample_callback_wrong.erl:18: The inferred return type of sample_callback_4/1 + ('fail') has nothing in common with + 'ok', which is the expected return type for the callback of the sample_behaviour behaviour +sample_callback_wrong.erl:20: The inferred return type of sample_callback_5/1 + (string()) has nothing in common with + 'fail' | 'ok', which is the expected return type for the callback of the sample_behaviour behaviour +sample_callback_wrong.erl:20: The inferred type for the 1st argument of sample_callback_5/1 ( + atom()) is not a supertype of + 1..255, which is expected type for this argument in the callback of the sample_behaviour behaviour +sample_callback_wrong.erl:22: The inferred return type of sample_callback_6/3 + ({'okk', number()}) has nothing in common with + 'fail' | {'ok', 1..255}, which is the expected return type for the callback of the sample_behaviour behaviour +sample_callback_wrong.erl:22: The inferred type for the 3rd argument of sample_callback_6/3 ( + atom()) is not a supertype of + string(), which is expected type for this argument in the callback of the sample_behaviour behaviour +sample_callback_wrong.erl:4: Undefined callback function sample_callback_1/0 (behaviour sample_behaviour) |