<div dir="ltr"><div><div><div>I forgot to add this example:<br><br></div>Why can't I write:<br><br></div>$ dialyzer foo.erl bar.beam<br><br></div><div>there is no logical or practical reason.<br><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On 9 March 2017 at 00:32, Robert Virding <span dir="ltr"><<a href="mailto:rvirding@gmail.com" target="_blank">rvirding@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 dir="ltr"><div>I completely agree with you but was using the term "interface" in a more general way than you do to include the command line as well. The things I mentioned are irrespective of whether you start the dialyzer through function calls or command-line.<span class="HOEnZb"><font color="#888888"><br><br></font></span></div><span class="HOEnZb"><font color="#888888">Robert<br><br></font></span></div><div class="HOEnZb"><div class="h5"><div class="gmail_extra"><br><div class="gmail_quote">On 8 March 2017 at 06:17, Michael Truog <span dir="ltr"><<a href="mailto:mjtruog@gmail.com" target="_blank">mjtruog@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span>On 03/06/2017 04:17 PM, Robert Virding wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Is anyone working on cleaning up the dialyzer interface? It does some strange things like for no discernable reason requiring all files to be either .erl files or .beam files and not allowing a combination. Also it it is not in any way extensible.<br>
</blockquote>
<br></span>
It might be better to consider removing the dialyzer interface and just focus on making the command-line use of dialyzer as efficient as possible, so it may always be part of per-commit regression testing.  The dialyzer UI interface is attempting to promote manual use of dialyzer, which isn't a common use-case.  Also, often UI creates development burden that leads to source code becoming more inefficient (like comparing Thunderbird and mutt for email).  While it is easy to expect a perfect outcome with a UI implementation, I don't believe it is realistic or helpful for normal (required/critical) use of dialyzer.<br>
<br>
Best Regards,<br>
Michael<br>
</blockquote></div><br></div>
</div></div></blockquote></div><br></div>