From: Mikael Brockman <phubuh@...>
Date: 2004-03-31T06:45:58+09:00
Subject: Re: RickCheck -- automated testing of general assertions

"Albert Chou" <achou@tealeaf.com> writes:

> Neat.  I hope you petition John Hughes to get listed as another
> entry at the bottom of http://www.cs.chalmers.se/~rjmh/QuickCheck/ .
>
> Al

I know some insiders at Chalmers, so surely it will end up there
sooner or later.  Threats may be necessary.

But I'll wait a while first.  It's pretty crummy right now.


By the way, the range (223..66) in

> Whoops!  Why's that?  Thinking through random_from tells us that it's
> because (223..66) makes a Range of no entries!  We probably want
> random_from to handle backwardsy stuff, too.  So we hack away!

should be (233..86), of course.  Don't ask where I pulled that range
from.

--
brought to you by Mikael `phubuh' Brockman!
DE!  MORE CODE!  MORE CODE!  MORE CODE!  MORE CODE!  MORE CODE!  MORE CO

P.S. sorry for sending you this twice, Al.  I can't handle my own mail
reader!  *hits self*