[erlang-questions] dialyzer and supervisor init/1 callback spec

Damian Dobroczyński qoocku@REDACTED
Wed Feb 29 16:49:11 CET 2012

W dniu 29.02.2012 16:39, Kostis Sagonas pisze:
> On 02/29/2012 03:56 PM, Damian Dobroczyński wrote:
>> Hi list!
>> I've managed to create spec for my custom supervisor init/1 function,
>> like this:
>> ... SNIP
>> I just want to make sure that's this bug is known or it's a feature not
>> a bug or my mind has rotten to such extent that I cannot see an obvious
>> mistake I made.
>> Somebody, please, may explain this?
> It's impossible to say what happens here with only this information.
> Please submit a self-contained module (preferably minimized) such that
> when you run dialyzer on it, it produces the warning you are seeing.
> Kostis

Here you have. I've minimized replacing child processes specifications
with some dummy ones. Dialyzer still complains.

-- D.

> erlang-questions mailing list
> erlang-questions@REDACTED
> http://erlang.org/mailman/listinfo/erlang-questions

-------------- next part --------------
A non-text attachment was scrubbed...
Name: custom_sup.erl
Type: text/x-erlang
Size: 967 bytes
Desc: not available
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20120229/fbf24435/attachment.bin>

More information about the erlang-questions mailing list