Re: [MirageOS-devel] blocking pretty-printing

[Daniel BÃnzli <daniel.buenzli@xxxxxxxxxxxx>]

Le jeudi, 2 juillet 2015 Ã 10:56, Thomas Gazagnaire a Ãcrit :
> However, one of the issue is that sometimes iterating over a value to 
> pretty-print its sub-components is blocking (see [2] for instance) and the 
> unit is actually a unit Lwt.t. So using "%a" is not possible anymore.Is there 
> a nice solution to this which keeps the compositional properties?

A bit annoying but one way out would be to introduce an intermediate 
representation type

val to_repr : t -> repr io
val pp : Format.formatter -> repr -> unit

Best,

Daniel

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