[erlang-questions] clarify: why does Dialyzer have an implicit dependency on Mnesia?

Eric Merritt <>
Wed Dec 12 20:15:28 CET 2007


 Dialyzer seems to have an implicit dependency on Mnesia. Mnesia isn't
specified as a dependency in dialyzer.app, nor does dialyzer ever
actually call any of the Mnesia APIs.  However, dialyzer attempts to
get information about mnesia in dialyzer_plt. It makes use of a list
of default libraries provided by the dialyzer header. Why is this? If
there actually is a dependency shouldn't dialyzer have mnesia listed
as a dependency in its .app file? If its not a dependency why try to
retrieve information about it with the code module?


More information about the erlang-questions mailing list