Re: [Haskell] ANN: SmallCheck 0.1

2006-09-13 Thread Donald Bruce Stewart
colin: > SmallCheck: another lightweight testing library in Haskell. > > Folk-law: if there is any case in which a program fails, there is almost > always a simple one. > > SmallCheck is similar to QuickCheck (Claessen and Hughes 2000-) > but instead of a sample of randomly generated values, Smal

[Haskell] ANN: SmallCheck 0.1

2006-09-13 Thread Colin Runciman
SmallCheck: another lightweight testing library in Haskell. Folk-law: if there is any case in which a program fails, there is almost always a simple one. SmallCheck is similar to QuickCheck (Claessen and Hughes 2000-) but instead of a sample of randomly generated values, SmallCheck tests properti

[Haskell] compiler-independent core libraries infrastructure

2006-09-13 Thread Bulat Ziganshin
(i crosspost my letter into main haskell list because i hope that proposed solution is of great interest for (discussion with) many developers) Hello Ian, Friday, September 8, 2006, 5:52:57 AM, you wrote: >> and last question - i don't like inclusion of unix and win32 in a list >> of core libs.