<html><head><style>body{font-family:Helvetica,Arial;font-size:13px}</style></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><div id="bloop_customfont" style="font-family:Helvetica,Arial;font-size:13px; color: rgba(0,0,0,1.0); margin: 0px; line-height: auto;">Hello</div><div id="bloop_customfont" style="font-family:Helvetica,Arial;font-size:13px; color: rgba(0,0,0,1.0); margin: 0px; line-height: auto;"><br></div><div id="bloop_customfont" style="font-family:Helvetica,Arial;font-size:13px; color: rgba(0,0,0,1.0); margin: 0px; line-height: auto;">inet:ntoa/1 has following typespec:</div><div id="bloop_customfont" style="font-family:Helvetica,Arial;font-size:13px; color: rgba(0,0,0,1.0); margin: 0px; line-height: auto;"><br></div><div id="bloop_customfont" style="font-family:Helvetica,Arial;font-size:13px; color: rgba(0,0,0,1.0); margin: 0px; line-height: auto;"><div id="bloop_customfont" style="margin: 0px;">-spec ntoa(IpAddress) -></div><div id="bloop_customfont" style="margin: 0px;"> {ok, Address} | {error, einval} when</div><div id="bloop_customfont" style="margin: 0px;"> Address :: string(),</div><div id="bloop_customfont" style="margin: 0px;"> IpAddress :: ip_address().</div><div id="bloop_customfont" style="margin: 0px;">ntoa(Addr) -></div><div id="bloop_customfont" style="margin: 0px;"> inet_parse:ntoa(Addr).</div></div><div><br></div><div><br></div><div>but inet_parse:ntoa/1 returns only:</div><div><br></div><div> string() | {error, einval}</div><div><br></div><div>there is no tagged tuple {ok, string()}</div><div><br></div><div>This error also exists in inet man page due to incorrect typespec.</div><div>Is it possible to check kernel and stdlib with dialyzer?</div><br><div id="bloop_sign_1387885251452851968" class="bloop_sign"><div style="font-family:helvetica,arial;font-size:13px">-- <br>Max Treskin<br><br></div></div></body></html>