[m-dev.] for review : quickcheck

[David Overton]

Hi,

Just one quick comment...

On Sat, Feb 24, 2001 at 04:28:38AM +1100, Xiao Chun Simon MEI wrote:
> For Mark to review.
> 
> Estimated hours taken : 180
> 
> qcheck is an autotesting tool similar to Haskell's Quickcheck.
> 
> RELEASE_NOTES:
> compiler/notes/authors.html:
> extras/README:
> 	Modified to mention quickcheck.
> 
> extras/quickcheck/qcheck.m:
> 	New file that contains the souce code for qcheck.
> 
> extras/quickcheck/rnd.m:
> 	New file written by conway. Its functions are similar 
> 	to those in library random.m.

It would be helpful in the log message to say why you have added
rnd.m (i.e. what makes it different from random.m and why you didn't
just use that module).


David
-- 
David Overton      Department of Computer Science & Software Engineering
PhD Student        The University of Melbourne, Victoria 3010, Australia
+61 3 8344 9159    http://www.cs.mu.oz.au/~dmo
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------