[erlang-questions] Dialyzer: Unknown functions

[Loïc Hoguin]

Unless you include all applications in OTP, yes.

On 06/24/2014 06:10 PM, Paulo F. Oliveira wrote:
> Thank you, Pierre and Loïc.
>
> In any case, is it normal to have warnings when building the PLT, then?
>
> - Paulo F. Oliveira
>
>
> On 24 June 2014 17:05, Loïc Hoguin <essen@REDACTED
> <mailto:essen@REDACTED>> wrote:
>
>     Is your code calling the cover, eprof, packages?? or xref functions
>     there?
>
>     If not, then it's completely pointless to include them in your PLT!
>
>     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.
>
>
>     On 06/24/2014 05:58 PM, Paulo F. Oliveira wrote:
>
>         Hi.
>
>         I'm applying dialyzer to my project and still have a bunch of
>         warnings
>         whose origin I can't seem to figure out.
>
>         Unknown functions:
>             cover:compile_beam/1
>             cover:compile_beam/2
>             cover:compile_module/2
>             cover:export/2
>             cover:get_term/1
>             cover:import/1
>             cover:is_compiled/1
>             cover:module_info/1
>             cover:write/2
>             eprof:analyze/1
>             eprof:log/1
>             eprof:start/0
>             eprof:start_profiling/1
>             eprof:stop_profiling/0
>             packages:last/1
>             packages:strip_last/1
>             xref:add_application/3
>             xref:analyze/2
>             xref:set_default/3
>             xref:set_library_path/2
>             xref:start/2
>             xref:stop/1
>         Unknown types:
>             ...
>
>         I'm using the following to generate the PLT:
>
>         dialyzer --build_plt --verbose --statistics -Wunmatched_returns
>         -Werror_handling -Wrace_conditions -Wunderspecs -Woverspecs
>         -Wspecdiffs
>         -r deps --apps ebin asn1 compiler crypto erts hipe inets kernel
>         public_key runtime_tools sasl ssl stdlib syntax_tools xmerl edoc
>         eunit
>         gs mnesia -I include
>
>         Does anybody know how to solve this (I don't want to ignore the
>         warnings) or could probably point me in the right direction so
>         that I
>         can figure it out?
>
>         Thanks.
>
>         Cheers.
>
>         - Paulo F. Oliveira
>
>
>         _________________________________________________
>         erlang-questions mailing list
>         erlang-questions@REDACTED <mailto:erlang-questions@REDACTED>
>         http://erlang.org/mailman/__listinfo/erlang-questions
>         <http://erlang.org/mailman/listinfo/erlang-questions>
>
>
>     --
>     Loïc Hoguin
>     http://ninenines.eu
>
>
>
>
> _______________________________________________
> erlang-questions mailing list
> erlang-questions@REDACTED
> http://erlang.org/mailman/listinfo/erlang-questions
>

-- 
Loïc Hoguin
http://ninenines.eu