[m-rev.] Re: [m-dev.] '|' as an operator

[Fergus Henderson]

On 12-Feb-2003, David Overton <dmo at cs.mu.OZ.AU> wrote:
> Okay, here are some times which suggest it doesn't make much difference
> either way.  But I have implemented the change you suggested.  I agree
> that it is more elegant and simpler.
> 
> Time for compiling make_hlds.m.

If you measure the time for compiling, then certainly parsing time will be
swamped by mode analysis, type checking, etc.,
To benchmark this properly, you should measure the time for activities
that will be dominated by parsing, e.g. try timing `mmc --make-short-int'.

Anyway, the revised version of this change is sufficiently simple and
elegant that I'm happy for it to go in.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------