From 0fdcbc7b3e0028412ebc317f17627f960d2b247c Mon Sep 17 00:00:00 2001
From: Raimo Niskanen <raimo@erlang.org>
Date: Mon, 1 Oct 2018 15:36:46 +0200
Subject: Suppress Dialyzer improper list warnings

---
 lib/stdlib/src/rand.erl | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

(limited to 'lib/stdlib/src')

diff --git a/lib/stdlib/src/rand.erl b/lib/stdlib/src/rand.erl
index d3eda5e144..3a9a1e007b 100644
--- a/lib/stdlib/src/rand.erl
+++ b/lib/stdlib/src/rand.erl
@@ -732,6 +732,8 @@ exsplus_seed({A1, A2, A3}) ->
                  tl(R1)]),
     R2.
 
+-dialyzer({no_improper_lists, exsss_seed/1}).
+
 exsss_seed(L) when is_list(L) ->
     [S0,S1] = seed58_nz(2, L),
     [S0|S1];
@@ -746,8 +748,6 @@ exsss_seed({A1, A2, A3}) ->
     {S1, _} = seed58(?MASK(64, A3) bxor X1),
     [S0|S1].
 
--dialyzer({no_improper_lists, exsplus_next/1}).
-
 %% Advance Xorshift116 state one step
 -define(
    exs_next(S0, S1, S1_b),
@@ -767,6 +767,8 @@ exsss_seed({A1, A2, A3}) ->
        ?MASK(58, V_b + ?BSL(58, V_b, 3)) % V_b * 9
    end).
 
+-dialyzer({no_improper_lists, exsplus_next/1}).
+
 %% Advance state and generate 58bit unsigned integer
 -spec exsplus_next(exsplus_state()) -> {uint58(), exsplus_state()}.
 exsplus_next([S1|S0]) ->
@@ -778,6 +780,8 @@ exsplus_next([S1|S0]) ->
 %%    S12 = S11 bxor S0 bxor (S11 bsr 11) bxor (S0 bsr 41),
 %%    {?MASK(58, S0 + S12), [S0|S12]}.
 
+-dialyzer({no_improper_lists, exsss_next/1}).
+
 -spec exsss_next(exsplus_state()) -> {uint58(), exsplus_state()}.
 exsss_next([S1|S0]) ->
     %% Note: members s0 and s1 are swapped here
-- 
cgit v1.2.3