Bug in library report

andy andy@galois.com
Wed, 24 Jul 2002 12:16:58 -0700 (PDT)


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