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