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@lists.xenproject.org http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
