[erlang-patches] Patch for dialyzer complaining on certain binary comprehensions

Ivan Dubrov <>
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