<div dir="ltr">There is a ticket for this. It is rather high up in our backlog, so hopefully it will be included in OTP 17.<div>/siri</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">2014/1/23 Henrik Nord <span dir="ltr"><<a href="mailto:henrik@erlang.org" target="_blank">henrik@erlang.org</a>></span><br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div bgcolor="#FFFFFF" text="#000000">
HI<br>
<br>
I consider this more of a bug report than a actual patch.<br>
I will pass it along to the appropriate developers.<br>
<br>
if anyone is willing, and or patching similar things, feel free to
include this.<br>
<br>
Thank you for your contribution!<div class="im"><br>
<br>
<div>On 2014-01-15 14:05, Tom Wright wrote:<br>
</div>
</div><blockquote type="cite">
<div dir="ltr"><div class="im">
<div>
<div>
<div>
<div style="width:1920px">
<div>
<div>
<div>
<div>Error checking mail for <a href="mailto:tatwrightgambit@yahoo.co.uk" target="_blank">tatwrightgambit@yahoo.co.uk</a>. <span>Details</span> <span>Dismiss</span></div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div><div>
<div><div class="im">
<div style="width:202px;min-height:1079px">
<div style="min-height:815px">
<div>
<div>
<div>
<div>
<div>
<div><input title="Search
people..." label="Search people..." type="text"></div>
</div>
</div>
<div>
<div>
<table cellpadding="0">
<colgroup><col><col></colgroup><tbody>
<tr>
<td><img src="https://mail.google.com/mail/u/1/images/cleardot.gif" alt="Available"></td>
<td><span>Aaron Sokoloski</span></td>
</tr>
</tbody><tbody>
<tr>
<td><img src="https://mail.google.com/mail/u/1/images/cleardot.gif" alt="Idle (video enabled)"></td>
<td><span>Adam Kelly</span></td>
</tr>
<tr dir="ltr">
<td><br>
</td>
<td><span>I'm not here right now</span></td>
</tr>
</tbody><tbody>
<tr>
<td><img src="https://mail.google.com/mail/u/1/images/cleardot.gif" alt="Idle"></td>
<td><span>ben1</span></td>
</tr>
</tbody><tbody>
<tr>
<td><img src="https://mail.google.com/mail/u/1/images/cleardot.gif" alt="Idle (video enabled)"></td>
<td><span>Daniele Varrazzo</span></td>
</tr>
</tbody><tbody>
<tr>
<td><img src="https://mail.google.com/mail/u/1/images/cleardot.gif" alt="Idle"></td>
<td><span>Gustavo Carneiro</span></td>
</tr>
</tbody><tbody>
<tr>
<td><img src="https://mail.google.com/mail/u/1/images/cleardot.gif" alt="Idle"></td>
<td><span>John Aldis</span></td>
</tr>
</tbody><tbody>
<tr>
<td><img src="https://mail.google.com/mail/u/1/images/cleardot.gif" alt="Idle"></td>
<td><span>Tethys</span></td>
</tr>
</tbody><tbody>
<tr>
<td><img src="https://mail.google.com/mail/u/1/images/cleardot.gif" alt="Idle"></td>
<td>
<span>Tomer Chachamu</span></td>
</tr>
</tbody><tbody>
<tr>
<td><img src="https://mail.google.com/mail/u/1/images/cleardot.gif" alt="Offline"></td>
<td>
<span>David
Lankester</span></td>
</tr>
</tbody><tbody>
<tr>
<td><img src="https://mail.google.com/mail/u/1/images/cleardot.gif" alt="Offline"></td>
<td>
<span>Joseph Buckle</span></td>
</tr>
</tbody>
</table>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div><div class="im"><div style="width:1718px">
<div>
<div>
<div>
<div>
<div>
<div>
<div>
<div>
<div title="Report spam">
<div><span> </span>==
Symptom ==<br>
<br>
Dialyzer complains whenever you use
'via' with a supervisor despite it
being supported (both in practice and
according to the docs).<br>
<br>
<a href="http://www.erlang.org/doc/man/supervisor.html" target="_blank">http://www.erlang.org/doc/man/supervisor.html</a>:
If <span>SupName={via,Module,Name}</span>
the supervisor is registered as <span>Name</span>
using the registry represented by <span>Module</span><br>
<br>
This is still a problem as of release
25237481ccccd3ddfa74582dc267632ad618ba30
at <a href="https://github.com/erlang/otp.git" target="_blank">https://github.com/erlang/otp.git</a><br>
<br>
=== Patch ===<br>
<br>
Replace:<br>
-type sup_name() :: {'local', Name ::
atom()} | {'global', Name :: atom()}.<br>
<br>
with <br>
<br>
-type sup_name() :: {'local', Name ::
atom()} | {'global', Name :: atom()} |
{'via', Module :: atom(), Name ::
any() }.<br>
<br>
or similar.<br>
<br>
Thanks,<br>
Tom</div>
</div>
<div title="Delete">
<div><span> </span></div>
</div>
</div>
<br>
</div>
</div>
</div>
</div>
<div>
<div style="min-height:1069px">
<div style="min-height:879px">
<div>
<div>
<div>
<div>
<table cellpadding="0">
<tbody>
<tr>
<td><br>
</td>
</tr>
</tbody>
</table>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div></div>
</div>
</div>
<br>
<fieldset></fieldset>
<br>
<pre>_______________________________________________
erlang-patches mailing list
<a href="mailto:erlang-patches@erlang.org" target="_blank">erlang-patches@erlang.org</a>
<a href="http://erlang.org/mailman/listinfo/erlang-patches" target="_blank">http://erlang.org/mailman/listinfo/erlang-patches</a><span class="HOEnZb"><font color="#888888">
</font></span></pre><span class="HOEnZb"><font color="#888888">
</font></span></blockquote><span class="HOEnZb"><font color="#888888">
<br>
<pre cols="72">--
/Henrik Nord Erlang/OTP</pre>
</font></span></div>
<br>_______________________________________________<br>
erlang-patches mailing list<br>
<a href="mailto:erlang-patches@erlang.org">erlang-patches@erlang.org</a><br>
<a href="http://erlang.org/mailman/listinfo/erlang-patches" target="_blank">http://erlang.org/mailman/listinfo/erlang-patches</a><br>
<br></blockquote></div><br></div>