diff options
Diffstat (limited to 'stdlib')
| -rw-r--r-- | stdlib/array.ml | 7 |
1 files changed, 4 insertions, 3 deletions
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 = |