diff options
Diffstat (limited to 'devel/ocaml-extlib/files/patch-extArray.ml')
| -rw-r--r-- | devel/ocaml-extlib/files/patch-extArray.ml | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/devel/ocaml-extlib/files/patch-extArray.ml b/devel/ocaml-extlib/files/patch-extArray.ml new file mode 100644 index 000000000000..b0fcdfc3ef7a --- /dev/null +++ b/devel/ocaml-extlib/files/patch-extArray.ml @@ -0,0 +1,14 @@ +--- extArray.ml 2005/11/25 10:22:10 1.8 ++++ extArray.ml 2006/10/11 16:24:42 1.9 +@@ -162,4 +162,11 @@ + | Some x -> x + | None -> assert false) + ++let iter2 f a1 a2 = ++ if Array.length a1 <> Array.length a2 ++ then raise (Invalid_argument "Array.iter2"); ++ for i = 0 to Array.length a1 - 1 do ++ f a1.(i) a2.(i); ++ done;; ++ + end |