10 Oct
2007
10 Oct
'07
9:54 p.m.
me:
On Wed, Oct 10, 2007 at 11:41:08AM -0400, David Roundy wrote:
On Mon, Oct 08, 2007 at 12:00:37PM -0300, Isaac Dupree wrote:
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...
Google QuickCheckM. I haven't spent enough time investigating it to see if it would apply.
It might be doable, but I'm not familiar with it either. Good old exceptoins can be caught in a QC property with unsafePerformIO well enough though. See tests/Properties.hs for error failing tests. -- Don