[erlang-bugs] Spec or Dialyzer regression

Tuncer Ayaz <>
Tue Nov 13 14:23:01 CET 2012

On Tue, Oct 2, 2012 at 4:09 PM, <> wrote:
> Hi!
> It's not really obvious from the output, but the problem is the spec
> for open_port in erlang.erl. All the "will never return" things all
> boil down to rebar_utils:sh/2 and eventually the call to open_port.
> The option 'hide' is missing from the spec (which is new as it was
> before handled by the erl_bif_types.erl thing).
> I will update the spec in erlang.erl and you should be down to the
> single warning again in a few days!

Has the fix landed in master?

More information about the erlang-bugs mailing list