diff options
| author | Pierre-Marie Pédrot | 2018-06-17 13:38:07 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2018-06-17 13:38:07 +0200 |
| commit | 2040d9d6548c13c59ee0f921ca4089ca20552999 (patch) | |
| tree | 70955686af67e3921dd4d0b7b025442df54209f7 /clib/cArray.ml | |
| parent | 8854588be4e2e8249f6ad9d16a0fd0534d42b66d (diff) | |
| parent | 0419c41d8338c622a7b17dd055dfcc701c65739a (diff) | |
Merge PR #7822: cArray: proper invalid_arg exceptions
Diffstat (limited to 'clib/cArray.ml')
| -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 b26dae7298..fc87a74cf6 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 = |