On 16 Oct 2015, at 11:13, Thomas Gazagnaire <[email protected]> wrote: > >> This will happen soon or later on my side, so if you think you could be >> served by that and have ideas about it, speak. > > yes! > > The format based logging might be useful to avoid performance issues such as > [1] or [2].
And debugk in that pull request answers my query nicely: Log.debugk "received %s (%s)" @@ fun k -> k (pretty k) (pretty v) ...is neat. -anil _______________________________________________ MirageOS-devel mailing list [email protected] http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
