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

[Siri Hansen]

There is a ticket for this. It is rather high up in our backlog, so
hopefully it will be included in OTP 17.
/siri


2014/1/23 Henrik Nord <henrik@REDACTED>

>  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 tatwrightgambit@REDACTED  Details  Dismiss
>             [image: Available] Aaron Sokoloski  [image: Idle (video
> enabled)] Adam Kelly
>  I'm not here right now  [image: Idle] ben1  [image: Idle (video enabled)] Daniele
> Varrazzo  [image: Idle] Gustavo Carneiro  [image: Idle] John Aldis  [image:
> Idle] Tethys  [image: Idle] Tomer Chachamu  [image: Offline] David
> Lankester  [image: 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 listerlang-patches@REDACTED://erlang.org/mailman/listinfo/erlang-patches
>
>
> --
> /Henrik Nord Erlang/OTP
>
>
> _______________________________________________
> erlang-patches mailing list
> erlang-patches@REDACTED
> http://erlang.org/mailman/listinfo/erlang-patches
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-patches/attachments/20140130/18070ab0/attachment.htm>