<html>
<head>
<meta content="text/html; charset=ISO-8859-1"
http-equiv="Content-Type">
</head>
<body 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!<br>
<br>
<div class="moz-cite-prefix">On 2014-01-15 14:05, Tom Wright wrote:<br>
</div>
<blockquote
cite="mid:CAG=-tTw7D9L48HB0YpoKc8ScnPjYk6D7Lc9q7mNAqUKd5EZaVw@mail.gmail.com"
type="cite">
<div dir="ltr">
<div class="">
<div class="">
<div class="">
<div style="width:1920px" class="">
<div style="" class="">
<div style="" class="">
<div class="">
<div class="">Error checking mail for <a
moz-do-not-send="true"
href="mailto:tatwrightgambit@yahoo.co.uk">tatwrightgambit@yahoo.co.uk</a>. <span
class="" id="link_details" tabindex="0">Details</span> <span
class="" id="link_dismiss" tabindex="0">Dismiss</span></div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
<div class="">
<div class="">
<div class="" style="width:202px;height:1079px">
<div style="height:815px" class="">
<div style="" class="">
<div class="">
<div id=":io" class="">
<div>
<div class="">
<div class=""><input id=":k8" title="Search
people..." label="Search people..."
class="" type="text"></div>
</div>
</div>
<div class="">
<div class="">
<table class="" id=":k9" tabindex="0"
cellpadding="0">
<colgroup><col class=""><col class=""></colgroup><tbody
id=":kb" class="">
<tr class="">
<td><img moz-do-not-send="true" class=""
id=":kc"
src="https://mail.google.com/mail/u/1/images/cleardot.gif"
alt="Available"></td>
<td id=":ke" class=""><span id=":kd"
class="">Aaron Sokoloski</span></td>
</tr>
</tbody><tbody id=":kk" class="">
<tr class="">
<td><img moz-do-not-send="true" class=""
id=":kl"
src="https://mail.google.com/mail/u/1/images/cleardot.gif"
alt="Idle (video enabled)"></td>
<td id=":kn" class=""><span id=":km"
class="">Adam Kelly</span></td>
</tr>
<tr id=":ko" style="" class="" dir="ltr">
<td><br>
</td>
<td id=":kp" class=""><span id=":kq"
class="">I'm not here right now</span></td>
</tr>
</tbody><tbody id=":l2" class="">
<tr class="">
<td><img moz-do-not-send="true" class=""
id=":l3"
src="https://mail.google.com/mail/u/1/images/cleardot.gif"
alt="Idle"></td>
<td id=":l5" class=""><span id=":l4"
class="">ben1</span></td>
</tr>
</tbody><tbody id=":lb" class="">
<tr class="">
<td><img moz-do-not-send="true" class=""
id=":lc"
src="https://mail.google.com/mail/u/1/images/cleardot.gif"
alt="Idle (video enabled)"></td>
<td id=":le" class=""><span id=":ld"
class="">Daniele Varrazzo</span></td>
</tr>
</tbody><tbody id=":lt" class="">
<tr class="">
<td><img moz-do-not-send="true" class=""
id=":lu"
src="https://mail.google.com/mail/u/1/images/cleardot.gif"
alt="Idle"></td>
<td id=":lw" class=""><span id=":lv"
class="">Gustavo Carneiro</span></td>
</tr>
</tbody><tbody id=":m2" class="">
<tr class="">
<td><img moz-do-not-send="true" class=""
id=":m3"
src="https://mail.google.com/mail/u/1/images/cleardot.gif"
alt="Idle"></td>
<td id=":m5" class=""><span id=":m4"
class="">John Aldis</span></td>
</tr>
</tbody><tbody id=":mt" class="">
<tr class="">
<td><img moz-do-not-send="true" class=""
id=":mu"
src="https://mail.google.com/mail/u/1/images/cleardot.gif"
alt="Idle"></td>
<td id=":mw" class=""><span id=":mv"
class="">Tethys</span></td>
</tr>
</tbody><tbody id=":nb" class="">
<tr class="">
<td><img moz-do-not-send="true" class=""
id=":nc"
src="https://mail.google.com/mail/u/1/images/cleardot.gif"
alt="Idle"></td>
<td id=":ne" class="">
<span id=":nd" class="">Tomer Chachamu</span></td>
</tr>
</tbody><tbody id=":lk" class="">
<tr class="">
<td><img moz-do-not-send="true" class=""
id=":ll"
src="https://mail.google.com/mail/u/1/images/cleardot.gif"
alt="Offline"></td>
<td id=":ln" class="">
<span id=":lm" class="">David
Lankester</span></td>
</tr>
</tbody><tbody id=":mb" class="">
<tr class="">
<td><img moz-do-not-send="true" class=""
id=":mc"
src="https://mail.google.com/mail/u/1/images/cleardot.gif"
alt="Offline"></td>
<td id=":me" class="">
<span id=":md" class="">Joseph Buckle</span></td>
</tr>
</tbody>
</table>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
<div style="width:1718px" class="">
<div class="">
<div class="">
<div class="">
<div id=":5" class="">
<div class="">
<div class="">
<div>
<div class="">
<div class="" title="Report spam"
tabindex="0">
<div class=""><span class=""> </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 moz-do-not-send="true"
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 moz-do-not-send="true"
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 class="" title="Delete" tabindex="0">
<div class=""><span class=""> </span></div>
</div>
</div>
<br>
</div>
</div>
</div>
</div>
<div class="">
<div style="height:1069px" id=":4" class="">
<div style="min-height:879px" id=":2" class="">
<div class="">
<div style="" class="">
<div class="">
<div class="">
<table class="" cellpadding="0">
<tbody>
<tr>
<td class=""><br>
</td>
</tr>
</tbody>
</table>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
erlang-patches mailing list
<a class="moz-txt-link-abbreviated" href="mailto:erlang-patches@erlang.org">erlang-patches@erlang.org</a>
<a class="moz-txt-link-freetext" href="http://erlang.org/mailman/listinfo/erlang-patches">http://erlang.org/mailman/listinfo/erlang-patches</a>
</pre>
</blockquote>
<br>
<pre class="moz-signature" cols="72">--
/Henrik Nord Erlang/OTP</pre>
</body>
</html>