On Thursday, 22 February 2018 14:57:21 CET Richard W.M. Jones wrote:
+and buffer_add_spaces buf n =
+ for i = 0 to n-1 do Buffer.add_char buf ' ' done
Maybe String.spaces could make this easier, e.g.
and buffer_add_spaces buf n =
Buffer.add_string buf (String.spaces n)
The rest LGTM.
--
Pino Toscano