File 0365-kernel-Improve-contracts.patch of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 0365-kernel-Improve-contracts.patch of Package erlang (Revision 7c94a6d05769d5c3d039984816cf3bb5)

Currently displaying revision 7c94a6d05769d5c3d039984816cf3bb5 , Show latest

From 3ac7567e7565df4bcba589052e524aaa74d21c1c Mon Sep 17 00:00:00 2001
From: Hans Bolinder <hasse@erlang.org>
Date: Mon, 28 May 2018 13:11:51 +0200
Subject: [PATCH 5/6] kernel: Improve contracts

---
 lib/kernel/src/code.erl        | 4 ++--
 lib/kernel/src/file_server.erl | 6 +++---
 lib/kernel/src/kernel_refc.erl | 4 ++--
 3 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/lib/kernel/src/code.erl b/lib/kernel/src/code.erl
index f143a49d2f..7faef93609 100644
--- a/lib/kernel/src/code.erl
+++ b/lib/kernel/src/code.erl
@@ -630,7 +630,7 @@ do_par_recv(N, Good, Bad) ->
 call(Req) ->
     code_server:call(Req).
 
--spec start_link() -> {'ok', pid()} | {'error', 'crash'}.
+-spec start_link() -> {'ok', pid()}.
 start_link() ->
     do_start().
     
diff --git a/lib/kernel/src/file_server.erl b/lib/kernel/src/file_server.erl
index ecc1ffbdd6..29eaa23375 100644
--- a/lib/kernel/src/file_server.erl
+++ b/lib/kernel/src/file_server.erl
@@ -73,7 +73,7 @@ stop() ->
 %%          {stop, Reason}
 %%----------------------------------------------------------------------
 
--spec init([]) -> {'ok', state()} | {'stop', term()}.
+-spec init([]) -> {'ok', state()}.
 
 init([]) ->
     process_flag(trap_exit, true),
@@ -231,7 +231,7 @@ handle_cast(Msg, State) ->
 %%----------------------------------------------------------------------
 
 -spec handle_info(term(), state()) ->
-        {'noreply', state()} | {'stop', 'normal', state()}.
+        {'noreply', state()}.
 
 handle_info({'EXIT', Pid, _Reason}, Handle) when is_pid(Pid) ->
     ets:delete(?FILE_IO_SERVER_TABLE, Pid),
-- 
2.17.1

Places

File 0365-kernel-Improve-contracts.patch of Package erlang (Revision 7c94a6d05769d5c3d039984816cf3bb5)

Places