[erlang-bugs] dialyzer warning - The call erl_ddll:format_error(Err::{'open_error', _}) will never return ...

Hans Bolinder hans.bolinder@REDACTED
Mon Oct 8 14:07:58 CEST 2012

Previous message (by thread): [erlang-bugs] Different Dialyzer results for no_return() and none()
Next message (by thread): [erlang-bugs] prim_inet:close/1 race condition
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi,

[Joseph Wayne Norton:]
> The function specification for the erl_ddll:format_error builtin seems to be incomplete.

Thanks for the bug report!

There will be a fix in an upcoming release.

Best regards,

Hans Bolinder, Erlang/OTP team, Ericsson

Previous message (by thread): [erlang-bugs] Different Dialyzer results for no_return() and none()
Next message (by thread): [erlang-bugs] prim_inet:close/1 race condition
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the erlang-bugs mailing list