summaryrefslogtreecommitdiff
path: root/stdlib/hashtbl.ml
diff options
context:
space:
mode:
authorKC Sivaramakrishnan <kc@kcsrk.info>2021-06-15 13:05:23 +0530
committerKC Sivaramakrishnan <kc@kcsrk.info>2021-06-15 13:05:28 +0530
commit16413c962b61190ca77c5b09165161d395e67fa1 (patch)
tree94c9b1af086895d7aa1032a62660cb6413459b43 /stdlib/hashtbl.ml
parent9f9c8d9d2ddbcf3f8c606f010307b4253175513b (diff)
downloadocaml-16413c962b61190ca77c5b09165161d395e67fa1.tar.gz
Optimisations.
Diffstat (limited to 'stdlib/hashtbl.ml')
-rw-r--r--stdlib/hashtbl.ml8
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/hashtbl.ml b/stdlib/hashtbl.ml
index 6aba9cb2c5..3aab994d66 100644
--- a/stdlib/hashtbl.ml
+++ b/stdlib/hashtbl.ml
@@ -72,8 +72,9 @@ let rec power_2_above x n =
let create ?(random = !randomized) initial_size =
let s = power_2_above 16 initial_size in
- let random_state = Domain.DLS.get prng_key in
- let seed = if random then Random.State.bits random_state else 0 in
+ let seed =
+ if random then Random.State.bits (Domain.DLS.get prng_key) else 0
+ in
{ initial_size = s; size = 0; seed = seed; data = Array.make s Empty }
let clear h =
@@ -618,8 +619,7 @@ let of_seq i =
let rebuild ?(random = !randomized) h =
let s = power_2_above 16 (Array.length h.data) in
let seed =
- let random_state = Domain.DLS.get prng_key in
- if random then Random.State.bits random_state
+ if random then Random.State.bits (Domain.DLS.get prng_key)
else if Obj.size (Obj.repr h) >= 4 then h.seed
else 0 in
let h' = {