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
[email protected]
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
_______________________________________________
MirageOS-devel mailing list
[email protected]
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
