[erlang-questions] Dialyzer and apply

Ahmed Diaa <>
Sun Mar 29 10:08:16 CEST 2009


Hello there , 
I started using Dialyzer lately , and found it really usefull. But , I
had a case that I expected dialyzer to discover but it didn't.
The case occurs when using erlang:apply/3 or timer:apply_after/4
Here's the example

-module(dtest).

-export([foo/0]).

foo()->
	timer:apply_after(100,?MODULE, bar, [ ]),
	erlang:apply(?MODULE,bar,[ ]).

When running the dialyzer for this module , it didn't discover the call
to a missing function.

Wouldn't it be nice if dialyzer could discover such cases?

Best Regards
Ahmed Diaa	
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20090329/13646933/attachment.html>


More information about the erlang-questions mailing list