From 93eb787082e6abbf4fd13b8f8a7e856f88ee7d7b Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 24 May 2013 13:44:23 +0200 Subject: [PATCH] better Sequence.pp_seq, with trailing separator --- sequence.ml | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/sequence.ml b/sequence.ml index 3918f9bf..0bc09299 100644 --- a/sequence.ml +++ b/sequence.ml @@ -656,7 +656,10 @@ let pp_seq ?(sep=", ") pp_elt formatter seq = let first = ref true in iter (fun x -> - (if !first then first := false else Format.pp_print_string formatter sep); - pp_elt formatter x; - Format.pp_print_cut formatter ()) + (if !first then first := false + else begin + Format.pp_print_string formatter sep; + Format.pp_print_cut formatter (); + end); + pp_elt formatter x) seq