From 6d4fa3013653082f7ff6db6d75fb648b49de2d67 Mon Sep 17 00:00:00 2001 From: Siri Hansen Date: Tue, 18 Nov 2014 12:07:59 +0100 Subject: Add spec for gen_server:terminate/6,7 This is to prevent dialyzer warning "no local return". --- lib/stdlib/src/gen_server.erl | 3 +++ 1 file changed, 3 insertions(+) (limited to 'lib/stdlib') 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 -- cgit v1.2.3