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

[Mark Brown]

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.

NEWS:
	Mention the change.

Index: NEWS
===================================================================
RCS file: /home/mercury1/repository/mercury/NEWS,v
retrieving revision 1.357
diff -u -r1.357 NEWS
--- NEWS	6 Jan 2005 05:08:08 -0000	1.357
+++ NEWS	7 Jan 2005 06:05:36 -0000
@@ -252,6 +252,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.
+
 * We've fixed some problems with the use of `cc_nondet'.
 
   The incorrect cc_nondet modes of the following predicates have been removed:
Index: library/builtin.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/builtin.m,v
retrieving revision 1.106
diff -u -r1.106 builtin.m
--- library/builtin.m	23 Dec 2004 04:52:30 -0000	1.106
+++ library/builtin.m	7 Jan 2005 06:06:09 -0000
@@ -1,5 +1,5 @@
 %---------------------------------------------------------------------------%
-% Copyright (C) 1994-2004 The University of Melbourne.
+% Copyright (C) 1994-2005 The University of Melbourne.
 % This file may only be copied under the terms of the GNU Library General
 % Public License - see the file COPYING.LIB in the Mercury distribution.
 %---------------------------------------------------------------------------%
@@ -50,6 +50,10 @@
 :- inst mostly_dead == mostly_clobbered.
 
 % The `any' inst used for the constraint solver interface is also builtin.
+% The inst `old' is allowed as a synonym for `any', since some of the
+% literature uses this terminology.
+
+:- inst old == any.
 
 % Higher-order predicate insts `pred(<modes>) is <detism>'
 % and higher-order functions insts `func(<modes>) = <mode> is det'
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------