[erlang-bugs] Spec or Dialyzer regression

Tuncer Ayaz <>
Thu Nov 22 22:13:07 CET 2012


On Tue, Nov 13, 2012 at 2:23 PM, Tuncer Ayaz <> wrote:
> 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?

As of yesterday the fix is in master and works.
Thanks Patrik!


More information about the erlang-bugs mailing list