dolog icon indicating copy to clipboard operation
dolog copied to clipboard

log faster when log level is not high enough

Open UnixJunkie opened this issue 5 years ago • 2 comments

dbuenzli's log library (https://github.com/dbuenzli/logs) does this:

Logs.err (fun m -> m "invalid kv (%a,%a)" pp_key k pp_val v);

apparently it allows to skip the formatting of things which are not going to be printed

UnixJunkie avatar Jun 11 '20 03:06 UnixJunkie

maybe we need to extend the current interface in order to support that

UnixJunkie avatar Jun 11 '20 03:06 UnixJunkie

There is a discussion about such tricks there: https://discuss.ocaml.org/t/format-kprintf-usage/1396/18

UnixJunkie avatar Mar 31 '23 01:03 UnixJunkie