[erlang-bugs] inet:ntoa/1 incorrect typespec

[Max Treskin]

Hello

inet:ntoa/1 has following typespec:

-spec ntoa(IpAddress) ->
   {ok, Address} | {error, einval} when
      Address :: string(),
      IpAddress :: ip_address().
ntoa(Addr) ->
    inet_parse:ntoa(Addr).


but inet_parse:ntoa/1 returns only:

 string() | {error, einval}

there is no tagged tuple {ok, string()}

This error also exists in inet man page due to incorrect typespec.
Is it possible to check kernel and stdlib with dialyzer?

-- 
Max Treskin

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-bugs/attachments/20131224/f2cbf175/attachment.htm>