dialyzer; non-existing functions in other modules

mccratch@REDACTED mccratch@REDACTED
Sat May 14 09:40:32 CEST 2005


Hello,

I was just wondering, why Dialyzer doesn't report unexported/missing
functions if used by another module.

like:

-module(test).
-export([test/0]).
test() -> ok.

-module(test2).
-export([test/0]).
test() -> test:test(ok).

I would expect that dialyzer tells me that test:test/1 isn't defined or
exported, but the run passes silently.

I am running R10B-5 with dialyzer 1.3.0

--
Matthias Kretschmer



More information about the erlang-questions mailing list