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

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

Reply via email to