HI Jacques,
This looks very similar to the recently released testing-feat library:
http://hackage.haskell.org/package/testing-feat-0.2
I get a build error on the latest platform:
Test\GenCheck\Base\LabelledPartition.lhs:126:3:
The equation(s) for `new' have two arguments,
but its type `[
Call for Talks
ACM SIGPLAN Haskell Implementors' Workshop
http://haskell.org/haskellwiki/HaskellImplementorsWorkshop/2012
Copenhagen, Denmark, September 14th, 2012
The workshop will be held in conjunction with ICFP 2012
Test.GenCheck is a Haskell library for /generalized proposition-based
testing/. It simultaneously generalizes *QuickCheck* and *SmallCheck*.
Its main novel features are:
* introduces a number of /testing strategies/ and /strategy combinators/
* introduces a variety of test execution methods
Apologies for duplicates.
CALL FOR PAPERS
STVR Special Issue on Tests and Proofs
http://lifc.univ-fcomte.fr/tap2012/stvr/
The Software Testing, Verification & Reliability (STVR) journal
(http://www3.interscience.wiley.com/journal/13635/home) in
*** Early registration extended through June 25 ***
== CALL FOR PARTICIPATION
==
24th International Conference on Computer Aided Verification (CAV 2012)
July 7-13, 2012 Berkeley, California, USA
Program Chairs: Madhusudan Parathasarathy and Sanj
