diff options
| author | Hans Bolinder <[email protected]> | 2018-06-04 14:29:13 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2018-06-04 14:29:13 +0200 |
| commit | 8b86ae989276fca95d7eb917446d8301af751a51 (patch) | |
| tree | a8cb9db438d3619b6d31dc129bb4144a2fd39dfb /lib/stdlib/src | |
| parent | 4544915b3b6b9fd9294f4872ea6370d0898e5f2e (diff) | |
| parent | d4e7c42df3fd338c6b9efa1e852f4c6e54abe309 (diff) | |
| download | otp-8b86ae989276fca95d7eb917446d8301af751a51.tar.gz otp-8b86ae989276fca95d7eb917446d8301af751a51.tar.bz2 otp-8b86ae989276fca95d7eb917446d8301af751a51.zip | |
Merge branch 'hasse/dialyzer/improve_contract_warnings/OTP-14982'
* hasse/dialyzer/improve_contract_warnings/OTP-14982:
erts: Improve contracts of zlib
kernel: Improve contracts
erts: Improve a contract
stdlib: Improve a contract
compiler: Improve a contract
dialyzer: Refine the test for overspecified functions
Diffstat (limited to 'lib/stdlib/src')
| -rw-r--r-- | lib/stdlib/src/array.erl | 2 |
1 files changed, 1 insertions, 1 deletions
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)); |