Hi Anton,<div><br></div><div>I am sorry to inform you that in Dialyzer's case "the whole is greater that the sum (or even the merge) of it's parts"!</div><div><br></div><div>When Dialyzer analyzes a set of modules without a PLT, it assumes that a call to any external function will accept any term as an argument and return a value that can also be any term. Therefore each of these single-application-PLTs is going to be agnostic about calls to functions in all other applications. As a result, these PLTs will be missing the constraints that are imposed by these external calls and the information stored within will be less strict. In the end, when you merge all these PLTs, you will have a valid PLT, but it will also be less strict than the one you will get by analyzing all the applications together.</div>
<div><br></div><div>I am not sure if there is any proper use for your trick.</div><div><br></div><div><div class="gmail_quote">On Tue, Jul 19, 2011 at 8:58 PM, Anton Fedorov <span dir="ltr"><<a href="mailto:datacompboy@call2ru.com">datacompboy@call2ru.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">To be able to generate plts for system in parallel, its useful to generate<br>
one-plt per application, and merge them after to one single big PLT.<br>
<br>
git fetch git://<a href="http://github.com/datacompboy/otp.git" target="_blank">github.com/datacompboy/otp.git</a> dialyzer_merge_plts<br>
<br>
--<br>
Regards,<br>
Anton Fedorov<br>
Call2ru service<br>
E-Mail: <a href="mailto:datacompboy@call2ru.com">datacompboy@call2ru.com</a><br>
Jabber: <a href="mailto:datacompboy@call2ru.com">datacompboy@call2ru.com</a><br>
ICQ: 272-35-262<br>
Mobile: <a href="tel:%2B7-913-925-7974" value="+79139257974">+7-913-925-7974</a> [SMS 24h, Call 05:00-19:00 MSKT (GMT+3)]<br>
<br>
_______________________________________________<br>
erlang-patches mailing list<br>
<a href="mailto:erlang-patches@erlang.org">erlang-patches@erlang.org</a><br>
<a href="http://erlang.org/mailman/listinfo/erlang-patches" target="_blank">http://erlang.org/mailman/listinfo/erlang-patches</a><br>
</blockquote></div><br></div>