[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [MirageOS-devel] Logs

On 16 October 2015 at 11:55, Daniel BÃnzli <daniel.buenzli@xxxxxxxxxxxx> wrote:
> I prefer my version mentioned on the same page
>   Log.debug "received %a (%a)" pp_key k pp_value v
> which is the natural way of using Format. Jeremy may want to comment on the 
> performance results though.

Yes: I'll add a note on that topic to the issue shortly.

> Maybe. As said above I'll try to see if I can find a convenient way to 
> generalize the notion of level into a notion of "tag".

The Async logging framework takes a similar approach, although it
supports levels as well: each logging function accepts an optional
multi-map of tag metadata:

    val raw : ?time:Core.Std.Time.t -> ?tags:(string * string) list ->
t -> ('a, unit, string, unit) format4 -> 'a

MirageOS-devel mailing list



Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.