[erlang-questions] dialyzer with -Wbehaviours option

Radosław Bułat <>
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