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

[Tom Wright]

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 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.htm>