[Xmonad] possible bug in tabbed window extension
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.
More information about the Xmonad