Loop over multiple arrays simultaneously: Difference between revisions
Content added Content deleted
Line 357: | Line 357: | ||
let len = Array.length x in |
let len = Array.length x in |
||
let b = List.fold_left (fun b a -> b && (Array.length a = len)) true xs in |
let b = List.fold_left (fun b a -> b && (Array.length a = len)) true xs in |
||
if not b then |
if not b then invalid_arg "n_arrays_iter: arrays of different length"; |
||
for i = 0 to pred len do |
for i = 0 to pred len do |
||
let ai = List.map (fun a -> a.(i)) al in |
let ai = List.map (fun a -> a.(i)) al in |