From 748a0ebb8c1e08fd73fbb8548e4e03bff2579dd2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ricardo=20Catalinas=20Jim=C3=A9nez?= Date: Thu, 1 Mar 2012 14:11:49 +0100 Subject: Fix global:{random_exit_name,random_notify_name}/3 spec Both functions return pid(), not 'none'. The one that always returns 'none' is notify_all_name/3. --- lib/kernel/src/global.erl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/lib/kernel/src/global.erl b/lib/kernel/src/global.erl index fa97614eca..6bd8d0ddb2 100644 --- a/lib/kernel/src/global.erl +++ b/lib/kernel/src/global.erl @@ -1965,7 +1965,7 @@ resolve_it(Method, Name, Pid1, Pid2) -> minmax(P1,P2) -> if node(P1) < node(P2) -> {P1, P2}; true -> {P2, P1} end. --spec random_exit_name(Name, Pid1, Pid2) -> 'none' when +-spec random_exit_name(Name, Pid1, Pid2) -> pid() when Name :: term(), Pid1 :: pid(), Pid2 :: pid(). @@ -1976,7 +1976,7 @@ random_exit_name(Name, Pid, Pid2) -> exit(Max, kill), Min. --spec random_notify_name(Name, Pid1, Pid2) -> 'none' when +-spec random_notify_name(Name, Pid1, Pid2) -> pid() when Name :: term(), Pid1 :: pid(), Pid2 :: pid(). -- cgit v1.2.3