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

Damian Dobroczyński <>
Wed Feb 29 22:03:07 CET 2012


W dniu 29.02.2012 17:28, Kostis Sagonas pisze:
> On 02/29/2012 04:49 PM, Damian Dobroczyński wrote:
>> W dniu 29.02.2012 16:39, Kostis Sagonas pisze:
>>> On 02/29/2012 03:56 PM, Damian Dobroczyński wrote:
>>>>
>>>> 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.
>>
>> Here you have. I've minimized replacing child processes specifications
>> with some dummy ones. Dialyzer still complains.
> 
> Unfortunately, I cannot reproduce the warning you are reporting:
> 
> :~$ HiPE/R15B/bin/dialyzer --plt
> ~/HiPE/R15B/dialyzer_plt custom_sup.erl
>   Checking whether the PLT /home/kostis/HiPE/R15B/dialyzer_plt is
> up-to-date... yes
>   Proceeding with analysis... done in 0m0.57s
> done (passed successfully)
> 
> 
> Can it be that your PLT is messed up?
> 
> Kostis

I removed default PLT. Regenerated it and got the same error.

BUT...you will not get this error, since you use official dialyzer which
has a bug - it does not recognize attribute "-behavior" only
"-behaviour". The bug has been discussed some time ago and the patch is
on its way. Just change "-behavior" to "-behaviour" and I'm sure you'll
get the error.

Sorry for this, I should have told you...

-- D.



More information about the erlang-questions mailing list