[erlang-questions] dialyzer with -Wbehaviours option
Radosław Bułat
radek.bulat@REDACTED
Tue May 31 22:29:35 CEST 2011
When I run dialyzer without any -W* option everything pass. But with
-Wbehaviours option I get:
$ dialyzer -Wbehaviours -r ebin/
Checking whether the PLT /Users/radarek/.dialyzer_plt is up-to-date... yes
Proceeding with analysis...
Unknown behaviours (behaviour_info(callbacks) does not return any specs):
gen_server
(running behaviour_info(callbacks) from shell returns behaviours spec)
Dialyzer's plt file has been built with command
dialyzer --build_plt --apps kernel stdlib mnesia compiler
Do I have to add something to plt or just doing it wrong?
--
Pozdrawiam
Radosław Bułat
http://radarek.jogger.pl - mój blog
More information about the erlang-questions
mailing list