(* csv.ml - comma separated values parser
*
- * $Id: csv.ml,v 1.10 2006-04-21 12:44:42 rich Exp $
+ * $Id: csv.ml,v 1.11 2006-07-19 09:41:58 rich Exp $
*)
(* The format of CSV files:
try List.combine r1 r2
with
Invalid_argument "List.combine" ->
- failwith "Csv.save_out_readable: internal error: length r1 = %d, length r2 = %d" (List.length r1) (List.length r2) in
+ failwith (sprintf "Csv.save_out_readable: internal error: length r1 = %d, length r2 = %d" (List.length r1) (List.length r2)) in
List.map (fun ((a : int), (b : int)) -> max a b) rp
in
List.fold_left max2rows lengths_row1 lengths_rest in