From 94640e9efe49e062ceb544941a47293f41ffff0c Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 31 Mar 2023 22:42:18 -0400 Subject: [PATCH] comment --- src/pp/containers_pp.ml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/pp/containers_pp.ml b/src/pp/containers_pp.ml index 36a78bbc..5b8a68ed 100644 --- a/src/pp/containers_pp.ml +++ b/src/pp/containers_pp.ml @@ -287,7 +287,9 @@ module Pretty = struct Buffer.contents buf let to_format ~width out self : unit = - (* TODO: more efficient implementation based on out *) + (* TODO: more efficient implementation based on: + open a vbox; make custom out that directly emit Format.pp_foo calls; + render to this out. *) CCFormat.string_lines out (to_string ~width self) end