darcs patch: catch exceptions when calling user-written code.
12 Oct
2007
12 Oct
'07
8:59 a.m.
Note: this fixes issue 55. David Thu Oct 11 20:56:55 EDT 2007 David Roundy <droundy@darcs.net> * catch exceptions when calling user-written code. Note: this is a less-than-minimal approach, since it seemed better to put the catchX in whenJust, rather than in both times whenJust is used in Main. As a result, it does a few potentially less efficient checks, but we're also slightly more robust with regard to bugs introduced in the future.
6871
Age (days ago)
6871
Last active (days ago)
0 comments
1 participants
participants (1)
-
David Roundy