[m-dev.] Re: quickcheck

[Fergus Henderson]

On 15-Feb-2001, Xiao Chun Simon MEI <xcsm at students.cs.mu.OZ.AU> wrote:
> I've corrected most of the stuff that is pointed out in you reviews
> and Fergus's. The following items I have not changed :
> 
> ------------------------------------------------------
> > +testrev/1 is the Mercury equivalent of Haskell's reverse function. We 
> > +want to test whether testrev/1 is properly implemented.
> 
> >> This function is widely used in examples of declarative programming, so
> >> I wouldn't refer to it as Haskell's reverse.  It is generally called
> >> "naive reverse" (or nrev/1), because of the simple implementation.  I
> >> would change testrev to nrev in this example.
>  
> nrev would be a better name, but unless it's important, I like to keep the
> name testrev. I use the function through out the tutes and sample
> useXXX.m ; if i do change i would have to make sure i change in every
> place and re-compile + retest.

I think that change is worth making.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------