On Mon, Oct 08, 2007 at 12:00:37PM -0300, Isaac Dupree wrote:
David Roundy wrote:
I haven't been following this bug, but we certainly used to have precisely this sandbox in place, and it definitely worked. It involves catchX, and I think the code is still there, but someone may have removed it from one of the invocations. My feeling is that any X code (or ideally any pure code) that is not part of core should be called with catchX whenever possible. Haskell has all the infrastructure needed to very easily do this kind of sandboxing (exceptions).
Can QuickCheck be used to insert bottoms sometimes in Contrib/Config code and see if an exception ever escapes, so it's easier to tell whether catchX is in all the right places?
Quickcheck can't be used with anything in the X monad, so no. At least not the quickcheck I'm familiar with... -- David Roundy Department of Physics Oregon State University