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