(* csv.ml - comma separated values parser
*
- * $Id: csv.ml,v 1.14 2006-11-24 15:49:24 rich Exp $
+ * $Id: csv.ml,v 1.15 2008-10-27 21:57:48 rich Exp $
*)
(* The format of CSV files:
let remove_left_col =
List.map (function [] -> [] | x :: xs -> xs) in
let rec loop csv =
- if empty_left_col csv then (
- let csv = remove_left_col csv in
- loop csv
- ) else csv
+ if empty_left_col csv then
+ remove_left_col csv
+ else
+ csv
in
let csv = if left then loop csv else csv in