12 Oct
2007
12 Oct
'07
1:32 a.m.
Thu Oct 11 21:31:13 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.