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

[Julien Fischer]

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.

Cheers,
Julien.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------