Declarative CSV codecs
irmin: single Schema API — remove old Backend/Store/Tree/Proof/Codec
+11
+11
lib/csvt.ml
+11
lib/csvt.ml
···
515
515
(* Empty line — skip it *)
516
516
skip_eol s;
517
517
(End_of_row, Row_start)
518
+
| Some '#' when state = Row_start ->
519
+
(* Comment line — skip to end of line *)
520
+
let rec skip () =
521
+
match peek s with
522
+
| None | Some '\n' | Some '\r' -> skip_eol s
523
+
| Some _ ->
524
+
advance s;
525
+
skip ()
526
+
in
527
+
skip ();
528
+
(End_of_row, Row_start)
518
529
| Some ',' when state = In_row -> (
519
530
(* Field separator — consume it, read next field *)
520
531
advance s;