Hello,<div><br></div><div>I have found a bug on the "cannot match clause" warning. Consider this minimal case:</div><div><br></div><blockquote style="margin:0 0 0 40px;border:none;padding:0px"><div><div>-module(foo).</div>

</div><div><div>-export([bar/0]).</div></div><div><div><br></div></div><div><div>bar() -></div></div><div><div>  V = <<"hello">>,</div></div><div><div>  case is_binary(V) of</div></div><div><div>
    false -> good;</div>
</div><div><div>    true  -> bad</div></div><div><div>  end.</div></div></blockquote><div><br></div><div>When compiled, the code above spews the following warning:</div><div><br></div><blockquote style="margin:0 0 0 40px;border:none;padding:0px">

<div><div>$ erlc foo.erl</div></div><div><div>foo.erl:7: Warning: this clause cannot match because <b>a previous</b> clause at line 8 always matches</div></div></blockquote><div><div><div><br></div><div>In fact, the clause that always match is the following one and not the previous one. One simple fix for this issue is to change the message to:</div>

<div><br></div></div></div><blockquote style="margin:0 0 0 40px;border:none;padding:0px"><div><div><div>foo.erl:7: Warning: this clause cannot match because <b>another</b> clause at line 8 always matches</div></div></div>

</blockquote><div><div><div><br></div><div>One may attempt a smarter fix by checking if the order of the lines but that would could still generate invalid warnings in case someone decides to inline case into a single line.</div>

<div><br></div><div><br></div><div><span style="font-size:13px"><div><span style="font-family:arial,sans-serif;font-size:13px;border-collapse:collapse"><b>José Valim</b></span></div><div><span style="font-family:arial,sans-serif;font-size:13px;border-collapse:collapse"><div>

<span style="font-family:verdana,sans-serif;font-size:x-small"><a href="http://www.plataformatec.com.br/" style="color:rgb(42,93,176)" target="_blank">www.plataformatec.com.br</a></span></div><div><span style="font-family:verdana,sans-serif;font-size:x-small">Skype: jv.ptec</span></div>

<div><span style="font-family:verdana,sans-serif;font-size:x-small">Founder and Lead Developer</span></div></span></div></span></div></div>
</div>