[erlang-patches] supervisor has wrong type annotation for sup_name

Henrik Nord <>
Thu Jan 23 09:39:03 CET 2014


HI

I consider this more of a bug report than a actual patch.
I will pass it along to the appropriate developers.

if anyone is willing, and or patching similar things, feel free to 
include this.

Thank you for your contribution!

On 2014-01-15 14:05, Tom Wright wrote:
> Error checking mail for  
> <mailto:>. Details Dismiss
> Available 	Aaron Sokoloski
> Idle (video enabled) 	Adam Kelly
>
> 	I'm not here right now
> Idle 	ben1
> Idle (video enabled) 	Daniele Varrazzo
> Idle 	Gustavo Carneiro
> Idle 	John Aldis
> Idle 	Tethys
> Idle 	Tomer Chachamu
> Offline 	David Lankester
> Offline 	Joseph Buckle
>
> == Symptom ==
>
> Dialyzer complains whenever you use 'via' with a supervisor despite it 
> being supported (both in practice and according to the docs).
>
> http://www.erlang.org/doc/man/supervisor.html: If 
> SupName={via,Module,Name} the supervisor is registered as Name using 
> the registry represented by Module
>
> This is still a problem as of release 
> 25237481ccccd3ddfa74582dc267632ad618ba30 at 
> https://github.com/erlang/otp.git
>
> === Patch ===
>
> Replace:
> -type sup_name() :: {'local', Name :: atom()} | {'global', Name :: 
> atom()}.
>
> with
>
> -type sup_name() :: {'local', Name :: atom()} | {'global', Name :: 
> atom()} | {'via', Module :: atom(), Name :: any() }.
>
> or similar.
>
> Thanks,
> Tom
>
>
>
>
> _______________________________________________
> erlang-patches mailing list
> 
> http://erlang.org/mailman/listinfo/erlang-patches

-- 
/Henrik Nord Erlang/OTP

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-patches/attachments/20140123/610b1530/attachment-0001.html>


More information about the erlang-patches mailing list