better pp_seq

This commit is contained in:
Simon Cruanes 2013-05-26 22:35:54 +02:00
parent b946b7157b
commit fa18a7ba83

View file

@ -683,7 +683,10 @@ let pp_seq ?(sep=", ") pp_elt formatter seq =
let first = ref true in let first = ref true in
iter iter
(fun x -> (fun x ->
(if !first then first := false else Format.pp_print_string formatter sep); (if !first then first := false
pp_elt formatter x; else begin
Format.pp_print_cut formatter ()) Format.pp_print_string formatter sep;
Format.pp_print_cut formatter ();
end);
pp_elt formatter x)
seq seq