[Xmonad] possible bug in tabbed window extension

Don Stewart dons at galois.com
Wed Oct 10 21:54:55 EDT 2007

> 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

More information about the Xmonad mailing list