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

[unknown]

Error checking mail for tatwrightgambit 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 Buckley
== 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-patches/attachments/20140115/205f8176/attachment.html>

[unknown]

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!

Post by unknown
Error checking mail for tatwrightgambit
<mailto:tatwrightgambit>. 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 ===
-type sup_name() :: {'local', Name :: atom()} | {'global', Name :: atom()}.
with
atom()} | {'via', Module :: atom(), Name :: any() }.
or similar.
Thanks,
Tom
_______________________________________________
erlang-patches mailing list
erlang-patches
http://erlang.org/mailman/listinfo/erlang-patches

[unknown]

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>

Post by unknown
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!
Error checking mail for tatwrightgambit 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
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 ===
-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://erlang.org/mailman/listinfo/erlang-patches
--
/Henrik Nord Erlang/OTP
_______________________________________________
erlang-patches mailing list
erlang-patches
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.html>