From b4f5b85d0a7f288db70093d806920d004d8b0e83 Mon Sep 17 00:00:00 2001 From: Ivan Dubrov Date: Wed, 13 Jul 2011 15:25:01 +0700 Subject: Fix dialyzer warning on default clause for binary comprehension Fixed dialyzer warning occuring on binary comprehension of form "<< <<>> || {A, B} <- [{a, b}] >>" caused by default clause inserted by compiler. Since this clause is different from the case of list comprehension, dialyzer fails to suppress that warning. --- lib/dialyzer/test/small_SUITE_data/src/binary_lc_bug.erl | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 lib/dialyzer/test/small_SUITE_data/src/binary_lc_bug.erl (limited to 'lib/dialyzer/test') diff --git a/lib/dialyzer/test/small_SUITE_data/src/binary_lc_bug.erl b/lib/dialyzer/test/small_SUITE_data/src/binary_lc_bug.erl new file mode 100644 index 0000000000..c1e82bfa59 --- /dev/null +++ b/lib/dialyzer/test/small_SUITE_data/src/binary_lc_bug.erl @@ -0,0 +1,8 @@ +-module(test). + +-export([bin_compr/0]). + +bin_compr() -> +% [ 0 || {N, V} <- [{a, b}] ]. % Works ok + << <<>> || {A, B} <- [{a, b}] >>. % Complains +% << <<>> || X <- [{a, b}] >>. % Works ok -- cgit v1.2.3