From ea9f374a7a7c1622146f364e5209a77016234cf5 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sat, 18 Aug 2018 13:14:36 -0500 Subject: [PATCH] perf(vec): minor improvements to Vec --- src/util/Vec.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/util/Vec.ml b/src/util/Vec.ml index c7df6b56..e9371324 100644 --- a/src/util/Vec.ml +++ b/src/util/Vec.ml @@ -121,7 +121,7 @@ let[@inline] move_to t t' = t'.data <- Array.copy t.data; t'.sz <- t.sz -let fast_remove t i = +let[@inline] fast_remove t i = assert (i < t.sz); t.data.(i) <- t.data.(t.sz - 1); t.sz <- t.sz - 1 @@ -137,7 +137,7 @@ let sort t f = Array.fast_sort f sub_arr; t.data <- sub_arr -let iter f t = +let[@inline] iter f t = for i = 0 to size t - 1 do f (Array.unsafe_get t.data i) done