mailing_list:

On Thu, Aug 16, 2007 at 01:55:38PM +1000, Donald Bruce Stewart wrote:

...

The instability in this module is a little concerning: any way you can write some tests for it? (Perhaps use QC to generate strings or something?).

Proper QuickCheck tests for the pure code would be welcome, and reassure users. I can give some examples, if you're unsure with QuickCheck.

I'm a bit concerned too, indeed. And yes, I'm going to test it with QC.

I'm going to study QC, but your examples would be much appreciated.

There's a quick intro I wrote here, http://haskell.org/haskellwiki/Introduction_to_QuickCheck And you can use the examples in xmonad/tests/