16 Aug
2007
16 Aug
'07
1:29 a.m.
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/