22 Aug
2008
22 Aug
'08
2:54 a.m.
This is an interesting thought. Has there been any work towards
collecting > properties written with QuickCheck (or similar) into a reusable chunk of > some form?
Yes, it's in development, called 'checkers'. code.haskell.org/checkers
Great! I especially like the Char generators. This would be nice to eventually have in the Haskell Platform after some general usage and maturity. It would be even better if 'checkers' used QuickCheck 2 when it is released (apparently last week in September [1]). That version works nicely with HUnit. [1] http://thread.gmane.org/gmane.comp.lang.haskell.general/16380 Sean