<div dir="ltr">Great.<div><br></div><div>Reduced the --apps to ebin erts kernel stdlib and was able to make it work like expected.</div><div><br></div><div>Thanks again.</div><div><br></div><div>- Paulo F. Oliveira</div></div>
<div class="gmail_extra"><br><br><div class="gmail_quote">On 24 June 2014 17:11, Loïc Hoguin <span dir="ltr"><<a href="mailto:essen@ninenines.eu" target="_blank">essen@ninenines.eu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Unless you include all applications in OTP, yes.<br>
<br>
On 06/24/2014 06:10 PM, Paulo F. Oliveira wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Thank you, Pierre and Loïc.<br>
<br>
In any case, is it normal to have warnings when building the PLT, then?<br>
<br>
- Paulo F. Oliveira<br>
<br>
<br>
On 24 June 2014 17:05, Loïc Hoguin <<a href="mailto:essen@ninenines.eu" target="_blank">essen@ninenines.eu</a><br>
<mailto:<a href="mailto:essen@ninenines.eu" target="_blank">essen@ninenines.eu</a>>> wrote:<br>
<br>
Is your code calling the cover, eprof, packages?? or xref functions<br>
there?<br>
<br>
If not, then it's completely pointless to include them in your PLT!<br>
<br>
You should only include the applications that your code uses,<br>
otherwise all you end up doing is dialyzing OTP when you build your<br>
PLT, which is probably not what you want.<br>
<br>
<br>
On 06/24/2014 05:58 PM, Paulo F. Oliveira wrote:<br>
<br>
Hi.<br>
<br>
I'm applying dialyzer to my project and still have a bunch of<br>
warnings<br>
whose origin I can't seem to figure out.<br>
<br>
Unknown functions:<br>
cover:compile_beam/1<br>
cover:compile_beam/2<br>
cover:compile_module/2<br>
cover:export/2<br>
cover:get_term/1<br>
cover:import/1<br>
cover:is_compiled/1<br>
cover:module_info/1<br>
cover:write/2<br>
eprof:analyze/1<br>
eprof:log/1<br>
eprof:start/0<br>
eprof:start_profiling/1<br>
eprof:stop_profiling/0<br>
packages:last/1<br>
packages:strip_last/1<br>
xref:add_application/3<br>
xref:analyze/2<br>
xref:set_default/3<br>
xref:set_library_path/2<br>
xref:start/2<br>
xref:stop/1<br>
Unknown types:<br>
...<br>
<br>
I'm using the following to generate the PLT:<br>
<br>
dialyzer --build_plt --verbose --statistics -Wunmatched_returns<br>
-Werror_handling -Wrace_conditions -Wunderspecs -Woverspecs<br>
-Wspecdiffs<br>
-r deps --apps ebin asn1 compiler crypto erts hipe inets kernel<br>
public_key runtime_tools sasl ssl stdlib syntax_tools xmerl edoc<br>
eunit<br>
gs mnesia -I include<br>
<br>
Does anybody know how to solve this (I don't want to ignore the<br>
warnings) or could probably point me in the right direction so<br>
that I<br>
can figure it out?<br>
<br>
Thanks.<br>
<br>
Cheers.<br>
<br>
- Paulo F. Oliveira<br>
<br>
<br>
______________________________<u></u>___________________<br>
erlang-questions mailing list<br>
<a href="mailto:erlang-questions@erlang.org" target="_blank">erlang-questions@erlang.org</a> <mailto:<a href="mailto:erlang-questions@erlang.org" target="_blank">erlang-questions@<u></u>erlang.org</a>><br>
<a href="http://erlang.org/mailman/__listinfo/erlang-questions" target="_blank">http://erlang.org/mailman/__<u></u>listinfo/erlang-questions</a><br>
<<a href="http://erlang.org/mailman/listinfo/erlang-questions" target="_blank">http://erlang.org/mailman/<u></u>listinfo/erlang-questions</a>><br>
<br>
<br>
--<br>
Loïc Hoguin<br>
<a href="http://ninenines.eu" target="_blank">http://ninenines.eu</a><br>
<br>
<br>
<br>
<br>
______________________________<u></u>_________________<br>
erlang-questions mailing list<br>
<a href="mailto:erlang-questions@erlang.org" target="_blank">erlang-questions@erlang.org</a><br>
<a href="http://erlang.org/mailman/listinfo/erlang-questions" target="_blank">http://erlang.org/mailman/<u></u>listinfo/erlang-questions</a><br>
<br><span class="HOEnZb"><font color="#888888">
</font></span></blockquote><span class="HOEnZb"><font color="#888888">
<br>
-- <br>
Loïc Hoguin<br>
<a href="http://ninenines.eu" target="_blank">http://ninenines.eu</a><br>
</font></span></blockquote></div><br></div>