[erlang-patches] Fix global:{random_exit_name, random_notify_name}/3 spec

Ricardo Catalinas Jiménez <>
Thu Mar 1 20:16:29 CET 2012


Please refetch, I added another commit:

Improve global:re_register_name/2,3 spec
Both functions always return `yes'.

- I am not a dialyzer expert, so maybe this change is not correct. I
mean, both functions, in the normal execution path, always return
`yes', but the function call could fail if something goes wrong. I am
not totally sure if the spec has to reflect that.

- Any feedback on this other patch I sent?:

Fix supervisor doc: Shutdown,	MaxR and MaxT type specs
http://erlang.org/pipermail/erlang-patches/2012-February/002682.html


Best regards

On Thu, Mar 1, 2012 at 3:18 PM, Gustav Simonsson <> wrote:
> We have included this patch in our 'pu' branch.
> Thank you for the contribution!
>
> Regards,
> Gustav Simonsson
> Erlang/OTP team
>
>
> On 2012-03-01 14:16, Ricardo Catalinas Jiménez wrote:
>>
>> Both functions return pid(), not 'none'. The one that always returns
>> 'none' is notify_all_name/3.
>>
>> Please fetch:
>> git fetch git://github.com/jimenezrick/otp.git fix-global-spec
>>
>> Review here:
>> https://github.com/jimenezrick/otp/compare/erlang:maint...fix-global-spec
>>
>> https://github.com/jimenezrick/otp/compare/erlang:maint...fix-global-spec.patch
>>
>>
>> Regards
>
>
> _______________________________________________
> erlang-patches mailing list
> 
> http://erlang.org/mailman/listinfo/erlang-patches

-- 
Ricardo


More information about the erlang-patches mailing list