<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Mon, Mar 3, 2014 at 6:37 PM, Björn Gustavsson <span dir="ltr"><<a href="mailto:bjorn@erlang.org" target="_blank">bjorn@erlang.org</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="">On Mon, Mar 3, 2014 at 6:16 PM, Vlad Dumitrescu <<a href="mailto:vladdu55@gmail.com">vladdu55@gmail.com</a>> wrote:<br>


<br>
> What am I missing? Is it difficult just because it is done after some<br>
> optimization passes that might mess things up? Or is there some other issue?<br>
<br>
</div>I don't know how difficult it would be. The<br>
warnings for unreachable clauses are there<br>
because they are easy to emit when clauses<br>
are discarded during optimisation and pattern<br>
matching compilation. We have not really<br>
looked at the problem of finding all unreachable<br>
clauses; depending on how hard the problem<br>
is, it might be more suitable to let Dialyzer do<br>
it.</blockquote><div><br></div><div>I see. I would like to make a case for including this on the list of improvements. To me it is important to be able to rely on this warning/error - it saved me in several occasions. </div>

<div><br></div><div>What other warnings have less than 100% coverage?</div><div><br></div><div>/Vlad</div><div> </div></div></div></div>