From b0c511558cf7e742a39e3f27df08a210ba159955 Mon Sep 17 00:00:00 2001 From: Damien Doligez Date: Mon, 31 May 2010 12:46:27 +0000 Subject: small optimization of Array.concat git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10482 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 --- stdlib/array.ml | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'stdlib/array.ml') diff --git a/stdlib/array.ml b/stdlib/array.ml index 4eb0cadf2..d1cbd6557 100644 --- a/stdlib/array.ml +++ b/stdlib/array.ml @@ -78,10 +78,11 @@ let concat_aux init al = ;; let concat al = - let rec find_init = function - [] -> [||] + let rec find_init aa = + match aa with + | [] -> [||] | a :: rem -> - if length a > 0 then concat_aux (unsafe_get a 0) al else find_init rem + if length a > 0 then concat_aux (unsafe_get a 0) aa else find_init rem in find_init al let sub a ofs len = -- cgit v1.2.3-70-g09d2