aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorSiri Hansen <[email protected]>2014-11-18 12:07:59 +0100
committerSiri Hansen <[email protected]>2014-11-18 12:07:59 +0100
commit6d4fa3013653082f7ff6db6d75fb648b49de2d67 (patch)
tree2f85b8feedfe9c160040847b5b54f30de2264b73
parent9366932892711cc4cce7a54b1e098e6d5c3db468 (diff)
downloadotp-6d4fa3013653082f7ff6db6d75fb648b49de2d67.tar.gz
otp-6d4fa3013653082f7ff6db6d75fb648b49de2d67.tar.bz2
otp-6d4fa3013653082f7ff6db6d75fb648b49de2d67.zip
Add spec for gen_server:terminate/6,7
This is to prevent dialyzer warning "no local return".
-rw-r--r--lib/stdlib/src/gen_server.erl3
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/stdlib/src/gen_server.erl b/lib/stdlib/src/gen_server.erl
index 528dd23e1c..18ef4a2507 100644
--- a/lib/stdlib/src/gen_server.erl
+++ b/lib/stdlib/src/gen_server.erl
@@ -778,8 +778,11 @@ print_event(Dev, Event, Name) ->
%%% Terminate the server.
%%% ---------------------------------------------------
+-spec terminate(_, _, _, _, _, _) -> no_return().
terminate(Reason, Name, Msg, Mod, State, Debug) ->
terminate(Reason, Reason, Name, Msg, Mod, State, Debug).
+
+-spec terminate(_, _, _, _, _, _, _) -> no_return().
terminate(ExitReason, ReportReason, Name, Msg, Mod, State, Debug) ->
Reply = try_terminate(Mod, ExitReason, State),
case Reply of