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 _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
