[erlang-questions] Dialyzer warning

Fernando "Brujo" Benavides fernando.benavides@REDACTED
Fri Sep 23 17:34:15 CEST 2011


Hi everybody,

	I have a question that's mainly for Kostis, but maybe there're other out there that had faced similar problems before.
	I run dialyzer against the binaries of this project as it's shown in its Makefile and I get:

> match_stream_user_mgr.erl:32: The specification for match_stream_user_mgr:init/1 states that the function might also return {'ok',{{'simple_one_for_one',100,1},[{'match_stream_user',{'match_stream_user','start_link',[]},'transient','brutal_kill','worker',['match_stream_user']}]}} but the inferred return is none()
> match_stream_user_mgr.erl:33: Function init/1 has no local return


	You can check match_stream_user_mgr:init/1 code... it's fairly simple:

> -spec init([]) -> {ok, {{simple_one_for_one, 100, 1}, [{match_stream_user, {match_stream_user, start_link, []}, transient, brutal_kill, worker, [match_stream_user]}]}}.
> init([]) ->
>   {ok, {{simple_one_for_one, 100, 1},
>         [{match_stream_user, {match_stream_user, start_link, []},
>           transient, brutal_kill, worker, [match_stream_user]}]}}.

	Any clues?

	Thanks

____________________________
Fernando "Brujo" Benavides
fernando.benavides@REDACTED

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20110923/c7a1e471/attachment.htm>


More information about the erlang-questions mailing list