[erlang-questions] Dialyzer: Unknown functions
Paulo F. Oliveira
Tue Jun 24 18:10:13 CEST 2014
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> 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:
>> 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:
>> 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?
>> - Paulo F. Oliveira
>> erlang-questions mailing list
> Loïc Hoguin
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the erlang-questions