[erlang-patches] Patch for dialyzer complaining on certain binary comprehensions
Ivan Dubrov
wfragg@REDACTED
Thu Jul 14 12:03:47 CEST 2011
Hi,
Please consider the patch to the dialyzer to suppress warnings emitted
on certain binary comprehensions, like << <<>> || {A, B} <- [{a, b}] >>,
caused by compiler-emitted default clause. Dialyzer already have a code
that suppresses the warning for regular list comprehensions, but it does
not work for binary comprehensions.
Unfortunately, I did not understood how to implement a test case for
dialyzer, so I have not created one. Attached is a test file, run
"dialyzer test.erl" to get the warning:
test.erl:7: The pattern <[_ | _], _> can never match the type
<[],<<_:_*1>>>
Fetch fix from:
git fetch git://github.com/idubrov/otp.git dialyzer_bincomp_bug
--
WBR,
Ivan S. Dubrov
-------------- next part --------------
A non-text attachment was scrubbed...
Name: test.erl
Type: text/x-erlang
Size: 197 bytes
Desc: not available
URL: <http://erlang.org/pipermail/erlang-patches/attachments/20110714/d5c92372/attachment.bin>
More information about the erlang-patches
mailing list