2012/8/30 Motiejus Jakštys <span dir="ltr"><<a href="mailto:desired.mta@gmail.com" target="_blank">desired.mta@gmail.com</a>></span><br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
On Thu, Aug 30, 2012 at 12:03 PM, Kostis Sagonas <<a href="mailto:kostis@cs.ntua.gr">kostis@cs.ntua.gr</a>> wrote:<br>
> On 08/30/2012 11:53 AM, Motiejus Jakštys wrote:<br>
>><br>
>> I wonder how hard would this be to encapsulate and add to dialyzer as<br>
>> a run-time option?<br>
><br>
><br>
> Very simple, I guess.<br>
<br>
Thanks again. I will look into that.<br>
<br></blockquote><div><br></div><div>I'm not sure that this is a good idea. This set limit is controlling the size of the inferred types, basically telling Dialyzer when to abstract some types (i.e., 15 separate atoms will be collapsed into atom()). This is of course affecting the fix point behavior of the analysis, as Kostis says, which is fine.</div>
<div><br></div><div>However, if the plt is built with one setting and the later analysis uses another, I can imagine that you might end up in a situation where no fix point can be found, yielding an infinite loop.</div><div>
<br></div><div>Making this into a run time option indicates that it is something you can play around with in order to get better results. To some extent it is, but since it can have pretty serious implications it might not be a good idea.</div>
<div><br></div><div>Tobias</div></div>