[m-rev.] diff: allow `old' as a synonym for `any'

[Peter Ross]

On Fri, Jan 07, 2005 at 05:09:09PM +1100, Mark Brown wrote:
> Hi,
> 
> This change was requested by pjs, and has had in-person approval from Zoltan.
> 
> Cheers,
> Mark.
> 
> Estimated hours taken: 0.1
> Branches: main
> 
> library/builtin.m:
> 	Allow `old' as a synonym for `any', since some of the literature
> 	uses this terminology.
> 
Is it possible to mark this with a pragma obsolete?  Just so people
can learn about the correct name of the inst?
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------