Re: [MirageOS-devel] Logs

[Anil Madhavapeddy <anil@xxxxxxxxxx>]

On 16 Oct 2015, at 11:13, Thomas Gazagnaire <thomas@xxxxxxxxxxxxxx> 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
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel