From 82781aa9c7f661fe4acf892d7886f0a67002e12f Mon Sep 17 00:00:00 2001 From: "Kye W. Shi" Date: Sun, 13 Dec 2020 16:24:13 -0500 Subject: [PATCH] CCFormat: List.iter instead of fold_left for append_l (more efficient) Co-authored-by: Simon Cruanes --- src/core/CCFormat.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/core/CCFormat.ml b/src/core/CCFormat.ml index 12750784..43dc2c1b 100644 --- a/src/core/CCFormat.ml +++ b/src/core/CCFormat.ml @@ -117,7 +117,8 @@ let append ppa ppb fmt () = "foo" (to_string_test (append (return "foo") (return ""))) *) -let append_l = List.fold_left append (return "") +let append_l ppl fmt () = + List.iter (fun pp -> pp fmt ()) ppl (*$= append_l & ~printer:(fun s -> CCFormat.sprintf "%S" s) "" (to_string_test @@ append_l [])