On Mon, Oct 17, 2016 at 4:41 PM, Daniel Bünzli <daniel.buen...@erratique.ch>
wrote:

As I said, monadic join.
>

I wasn't sure if that would cover the patterns that arise. Perhaps it does.


propagated to more generic error data types to the top level or to a
> logging point.


That's an interesting proposal. So you throw away the precision at some
point. It seems a shame, but maybe that's good enough to get most of the
value. In my own code, it's not clear to me at what points I would convert
specific errors to more general ones, but I'll keep this in mind and see if
it could work. Thanks for the idea.
_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@lists.xenproject.org
https://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel

Reply via email to