Re: [MirageOS-devel] Logs

[Jeremy Yallop <jeremy.yallop@xxxxxxxxxxxx>]

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
    https://ocaml.janestreet.com/ocaml-core/111.28.00/doc/async_extra/#Log

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