Re: [MirageOS-devel] Logs

[Drup <drupyog+caml@xxxxxxxx>]

I globally like the API (it's similar to Lwt_log, which I already quite 
liked).
However I have trouble understand what is the intended use case for 
tags, and in particular why they are parametrized. It doesn't seem to be 
possible to filter by tag in a programmatic way.
Le 23/10/2015 03:18, Daniel Bünzli a écrit :
> Ok so here's something:
>
>    http://erratique.ch/software/logs
>    http://erratique.ch/software/logs/doc/
>
> Given that it's clearly superior from a disabled logging performance point of 
> view, Logs uses Dr. Yallop's formatting continuation technique. Thanks also to 
> Gabriel R. for making further convincing tests on this with flambda.
>
> I refrained of introducing timestamps or sequence numbers in the API to avoid 
> introducing unwanted deps. I think these things can perfectly be handled at the 
> reporter level.
>
> Don't use the error result value loggers for now they will change.
>
> Feedback welcome here or on the issue tracker.
>
> Best,
>
> Daniel
>
>
>
> _______________________________________________
> MirageOS-devel mailing list
> MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
> http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel


_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel