<div dir="ltr">In case someone decides to have a look to this in more detail, a minimal example follows.<div>A warning is raised for 'baz', but not for 'bar'.<br><div><br></div><div><div>-module(foo).</div>

<div><br></div><div>-export([bar/1, baz/1]).</div><div><br></div><div>bar({_,1}) -> ok;</div><div>bar({1,1}) -> ok.</div><div><br></div><div>baz({1,_}) -> ok;</div><div>baz({1,1}) -> ok.</div></div><div><br></div>

</div><div class="gmail_extra">KR,</div><div class="gmail_extra"><br></div><div class="gmail_extra">Roberto<br><br><div class="gmail_quote">On Mon, Mar 3, 2014 at 4:37 PM, tom kelly <span dir="ltr"><<a href="mailto:ttom.kelly@gmail.com" target="_blank">ttom.kelly@gmail.com</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="gmail_quote">
<div dir="ltr">
<div>
<div class="gmail_extra">Hi List,</div>
<div class="gmail_extra"> </div>
<div class="gmail_extra">You've probably seen this on the questions mailing list, just re-posting here to follow the bug reporting guidelines:</div><div class="">
<div class="gmail_extra"> </div>
<div class="gmail_extra"><br>-module(no_warn).<br>-compile(export_all).<br><br>-record(my_rec,{field1, field2}).<br><br>my_function1(#my_rec{field1 = {tag, _}, field2 = f2}) -> 1;<br>my_function1(#my_rec{field1 = {tag, 1}, field2 = f2}) -> 2; % line 7<br>


my_function1(_) -> 3.<br><br>my_function2(#my_rec{field1 = {tag, _}}) -> 1;<br>my_function2(#my_rec{field1 = {tag, 1}}) -> 2; % line11<br>my_function2(_) -> 3.<br></div></div></div>
<div class="gmail_extra"> </div>
<div class="gmail_extra">When compiled on R16B03-1 this gives the output:</div><div class="">
<div class="gmail_extra"> </div>
<div class="gmail_extra">no_warn.erl:11: Warning: this clause cannot match because a previous clause at line 10 always matches</div>
<div class="gmail_extra"> </div>
</div><div class="gmail_extra">Ie. we are correctly warned about line 11 but not about line 7.</div>
<div class="gmail_extra"> </div>
<div class="gmail_extra">//TTom.</div></div></div>
<br>_______________________________________________<br>
erlang-bugs mailing list<br>
<a href="mailto:erlang-bugs@erlang.org">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>
<br></blockquote></div><br><br clear="all"><div><br></div>-- <br>Roberto Aloi<br>---<br>Website: <a href="http://roberto-aloi.com" target="_blank">http://roberto-aloi.com</a><br>Twitter: @robertoaloi<br>
</div></div>