Is there some automated test suite for the libraries that I'm just missing? Is there a plan for developing one? If not, I'll start a wiki page for ideas and try to get a rudimentary one put together. I think that QuickCheck properties, or at least an abbreviated version of them, should be in the documentation. See my RangedSet library (http://ranged-sets.sourceforge.net/) for an example of the kind of
Jeffrey Yasskin wrote: thing I mean. However I have to maintain the correspondence between the actual properties and the Haddock comments manually, which is a pain. I have in mind an automatic tool along the lines of Haddock, but able to extract QuickCheck properties from comments. Ideally it would also be able to fill in default types so that [a] in a type signature becomes [Int] in the code without having to appear in the Haddock-generated docs. I looked into building something like this once, but the starting point would have had to be Haddock, and I didn't fancy getting into its internals. Paul.