diff options
| author |  Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2017-07-25 19:03:39 +0200 |
|---|---|---|
| committer | Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2018-06-15 11:55:12 +0200 |
| commit | 0419c41d8338c622a7b17dd055dfcc701c65739a (patch) | |
| tree | 429297ea513744d39899b4002c53884a99b92168 /clib | |
| parent | 31e13998542941040343cb81787a1d7c865d5b65 (diff) | |
cArray: proper invalid_arg exceptions
Diffstat (limited to 'clib')
| -rw-r--r-- | clib/cArray.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/clib/cArray.ml b/clib/cArray.ml index b26dae729..fc87a74cf 100644 --- a/clib/cArray.ml +++ b/clib/cArray.ml @@ -280,7 +280,7 @@ let fold_left2_i f a v1 v2 = let rec fold a n = if n >= lv1 then a else fold (f n a (uget v1 n) (uget v2 n)) (succ n) in - if Array.length v2 <> lv1 then invalid_arg "Array.fold_left2"; + if Array.length v2 <> lv1 then invalid_arg "Array.fold_left2_i"; fold a 0 let fold_left3 f a v1 v2 v3 = @@ -290,7 +290,7 @@ let fold_left3 f a v1 v2 v3 = else fold (f a (uget v1 n) (uget v2 n) (uget v3 n)) (succ n) in if Array.length v2 <> lv1 || Array.length v3 <> lv1 then - invalid_arg "Array.fold_left2"; + invalid_arg "Array.fold_left3"; fold a 0 let fold_left4 f a v1 v2 v3 v4 = |