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. --- lib/dialyzer/test/indent_SUITE_data/results/bs_fail_constr | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 lib/dialyzer/test/indent_SUITE_data/results/bs_fail_constr (limited to 'lib/dialyzer/test/indent_SUITE_data/results/bs_fail_constr') diff --git a/lib/dialyzer/test/indent_SUITE_data/results/bs_fail_constr b/lib/dialyzer/test/indent_SUITE_data/results/bs_fail_constr new file mode 100644 index 0000000000..86f1329bf3 --- /dev/null +++ b/lib/dialyzer/test/indent_SUITE_data/results/bs_fail_constr @@ -0,0 +1,9 @@ + +bs_fail_constr.erl:12: Binary construction will fail since the size field S in segment 42:S has type + neg_integer() +bs_fail_constr.erl:15: Binary construction will fail since the value field V in segment V/utf32 has type + float() +bs_fail_constr.erl:6: Binary construction will fail since the value field V in segment V has type + float() +bs_fail_constr.erl:9: Binary construction will fail since the value field V in segment V/binary has type + atom() -- cgit v1.2.3