[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