24 Jul
2002
24 Jul
'02
7:16 p.m.
On Wed, 24 Jul 2002, Koen Claessen wrote:
Malcolm Wallace wrote:
| This has been said before, but maybe we need someone | to formulate a huge set of QuickCheck properties about | the Prelude/Libraries. That would root out quite a | lot of remaining bugs relatively quickly I suspect.
GHC already uses QuickCheck to test the Haskell 98 Array Module. It does things like randomly permute the index-value pairs, then check that the array is same. It also compares with a reference implementation as provided in the Haskell report. Andy Gill