<div dir="ltr">Thank you, Pierre and Loïc.<br><div><br></div><div>In any case, is it normal to have warnings when building the PLT, then?</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:05, 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">
Is your code calling the cover, eprof, packages?? or xref functions 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, otherwise all you end up doing is dialyzing OTP when you build your PLT, which is probably not what you want.<div><div class="h5"><br>
<br>
On 06/24/2014 05:58 PM, Paulo F. Oliveira wrote:<br>
</div></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div class="h5">
Hi.<br>
<br>
I'm applying dialyzer to my project and still have a bunch of 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 -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 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 that I<br>
can figure it out?<br>
<br>
Thanks.<br>
<br>
Cheers.<br>
<br>
- Paulo F. Oliveira<br>
<br>
<br></div></div><div class="">
______________________________<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>
</div></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>