[darcs-devel] [patch1791] fix several uses of error where it shoul... (and 7 more)

Ben Franksen bugs at darcs.net
Sat Jun 15 14:57:33 UTC 2019


Ben Franksen <ben.franksen at online.de> added the comment:

> I think there is not much more we can do
> for IO exceptions. It may be better to catch just these and not all
> exceptions, though, and treat other exceptions as bugs.

I'll open a separate issue for this as it affects many more commands.

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/patch1791>
__________________________________


More information about the darcs-devel mailing list