supervisor has wrong type annotation for sup_name

Error checking mail for [email protected].  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

_______________________________________________
erlang-patches mailing list
[email protected]
http://erlang.org/mailman/listinfo/erlang-patches