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">
<div class="HOEnZb"><div class="h5">On Thu, Aug 30, 2012 at 02:41:19PM +0200, Tobias Lindahl wrote:<br>
> 2012/8/30 Motiejus Jakštys <<a href="mailto:desired.mta@gmail.com">desired.mta@gmail.com</a>><br>
><br>
> > On Thu, Aug 30, 2012 at 12:03 PM, Kostis Sagonas <<a href="mailto:kostis@cs.ntua.gr">kostis@cs.ntua.gr</a>><br>
> > 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>
> ><br>
> I'm not sure that this is a good idea. This set limit is controlling the<br>
> size of the inferred types, basically telling Dialyzer when to abstract<br>
> some types (i.e., 15 separate atoms will be collapsed into atom()). This is<br>
> of course affecting the fix point behavior of the analysis, as Kostis says,<br>
> which is fine.<br>
><br>
> However, if the plt is built with one setting and the later analysis uses<br>
> another, I can imagine that you might end up in a situation where no fix<br>
> point can be found, yielding an infinite loop.<br>
><br>
> Making this into a run time option indicates that it is something you can<br>
> play around with in order to get better results. To some extent it is, but<br>
> since it can have pretty serious implications it might not be a good idea.<br>
<br>
</div></div>Hi,<br>
thanks for your comments.<br>
<br>
This is a good point. PLT and dialyzer runtime should be compatible.<br>
<br>
How about making this an option for --build_plt? And always getting the<br>
value from PLT for analysis?<br>
<span class="HOEnZb"><font color="#888888"><br></font></span></blockquote><div><br></div><div>Sounds reasonable.</div><div><br></div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<span class="HOEnZb"><font color="#888888">
Motiejus<br>
</font></span></blockquote></div><br>