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/trec | |
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/trec')
-rw-r--r-- | lib/dialyzer/test/indent_SUITE_data/results/trec | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/lib/dialyzer/test/indent_SUITE_data/results/trec b/lib/dialyzer/test/indent_SUITE_data/results/trec new file mode 100644 index 0000000000..f19f728750 --- /dev/null +++ b/lib/dialyzer/test/indent_SUITE_data/results/trec @@ -0,0 +1,10 @@ + +trec.erl:29: The call trec:mk_foo_loc + (42, + any()) will never return since it differs in the 1st argument from the success typing arguments: + ('undefined', + atom()) +trec.erl:32: Record construction violates the declared type for #foo{} since variable A cannot be of type + atom() +trec.erl:39: Record construction violates the declared type for #foo{} since variable A cannot be of type + atom() |