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

[Mark Brown]

On 21-Jan-2005, Julien Fischer <juliensf at cs.mu.OZ.AU> wrote:
> 
> 
> On Fri, 21 Jan 2005, Mark Brown wrote:
> 
> > Index: NEWS
> > ===================================================================
> > RCS file: /home/mercury1/repository/mercury/NEWS,v
> > retrieving revision 1.364
> > diff -u -r1.364 NEWS
> > --- NEWS	18 Jan 2005 08:09:02 -0000	1.364
> > +++ NEWS	21 Jan 2005 03:31:38 -0000
> > @@ -262,8 +262,9 @@
> >  * builtin.m now contains types and insts `unify' and `compare' for use
> >    in defining user-defined equality and comparison predicates.
> >
> > -* builtin.m now defines inst `old' as a synonym for `any', since some of the
> > -  literature uses this terminology.
> > +* builtin.m now defines insts `new' and `old' as synonyms for `free' and
> > +  `any', respectively, since some of the literature uses this terminology.
> > +  Likewise it defines modes `no' for `new >> old' and `oo' for `old >> old'.
> >
> I think that s/some of the literature/some of the HAL literature/ there
> might be a good idea.

Ok.  I'll commit this soon if there are no further comments.

Cheers,
Mark.

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------