LogoopenSUSE Build Service > Projects
Sign Up | Log In

View File 0326-stdlib-Improve-a-contract.patch of Package erlang (Project home:Ledest:erlang:20)

From d1e14ad7c6af8a522226107788f33e92589c6c05 Mon Sep 17 00:00:00 2001
From: Hans Bolinder <hasse@erlang.org>
Date: Mon, 28 May 2018 12:14:48 +0200
Subject: [PATCH 3/6] stdlib: Improve a contract

---
 lib/stdlib/src/array.erl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/stdlib/src/array.erl b/lib/stdlib/src/array.erl
index a237eaa489..939b1fb488 100644
--- a/lib/stdlib/src/array.erl
+++ b/lib/stdlib/src/array.erl
@@ -290,7 +290,7 @@ new(Size, Fixed, Default) ->
 	end,
     #array{size = Size, max = M, default = Default, elements = E}.
 
--spec find_max(integer(), integer()) -> integer().
+-spec find_max(integer(), non_neg_integer()) -> non_neg_integer().
 
 find_max(I, M) when I >= M ->
     find_max(I, ?extend(M));
-- 
2.17.1