the return from binary:compile_pattern is <meta charset="utf-8"><span class="Apple-style-span" style="border-collapse: collapse; font-family: arial, sans-serif; font-size: 13px; ">{'bm',binary()} , while split is expecting either binary() or {'cp', binary()}</span><div>
<font class="Apple-style-span" face="arial, sans-serif"><span class="Apple-style-span" style="border-collapse: collapse;">I think the function compile_patters is the one to blame here cause in the documentation it's said to return cp(), but i didn't digg into the module</span></font></div>
<div><br><div class="gmail_quote">On Tue, May 3, 2011 at 5:38 PM, Ahmed Omar <span dir="ltr"><<a href="mailto:spawn.think@gmail.com">spawn.think@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
I don't think this is a bug in dialyzer. binary:compile_patter returns cp() not binary()<div>so the warning is correct<div><div></div><div class="h5"><br><br><div class="gmail_quote">On Tue, May 3, 2011 at 5:08 PM, Jay Nelson <span dir="ltr"><<a href="mailto:jay@duomark.com" target="_blank">jay@duomark.com</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">The following snippet of code gives a dialyzer error:<br>
<br>
   NL = list_to_binary(io_lib:nl()),<br>
   LinesPattern = binary:compile_pattern(NL),<br>
   Lines = [Line || Line <- binary:split(Bin, LinesPattern, [global, trim]),<br>
                    size(Line) > 0],<br>
<br>
The call binary:split(Bin::binary(),LinesPattern::{'bm',binary()},['global' | 'trim',...]) will never return since it differs in the 2nd argument from the success typing arguments: (binary(),binary() | [binary()] | {'cp',binary()},['global' | 'trim' | {'scope',{_,_}}])<br>


<br>
If the LinesPattern in the list comprehension is changed to NL, then there is no error.<br>
<br>
It seems the return value of binary:compile_pattern/1 is not compatible with the call to binary:split/3.<br>
<br>
jay<br>
_______________________________________________<br>
erlang-bugs mailing list<br>
<a href="mailto:erlang-bugs@erlang.org" target="_blank">erlang-bugs@erlang.org</a><br>
<a href="http://erlang.org/mailman/listinfo/erlang-bugs" target="_blank">http://erlang.org/mailman/listinfo/erlang-bugs</a><br>
</blockquote></div><br><br clear="all"><br></div></div>-- <br>Best Regards,<br>- Ahmed Omar<div><a href="http://nl.linkedin.com/in/adiaa" target="_blank">http://nl.linkedin.com/in/adiaa</a></div><div>Follow me on twitter</div>
<div><a href="http://twitter.com/#!/spawn_think" target="_blank">@spawn_think</a></div>
<br>
</div>
</blockquote></div><br><br clear="all"><br>-- <br>Best Regards,<br>- Ahmed Omar<div><a href="http://nl.linkedin.com/in/adiaa" target="_blank">http://nl.linkedin.com/in/adiaa</a></div><div>Follow me on twitter</div><div><a href="http://twitter.com/#!/spawn_think" target="_blank">@spawn_think</a></div>
<br>
</div>