[m-rev.] Add built-in modes ia and oa for solver types

[Ralph Becket]

Estimated hours taken: 0.1
Branches: main

library/builtin.m:
	Added modes ia and oa as synonyms for in(any) and out(any),
	respectively.

Index: doc/reference_manual.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/reference_manual.texi,v
retrieving revision 1.298
diff -u -r1.298 reference_manual.texi
--- doc/reference_manual.texi	29 Sep 2004 16:52:16 -0000	1.298
+++ doc/reference_manual.texi	3 Dec 2004 01:06:50 -0000
@@ -2125,6 +2125,9 @@
 
 For non-solver types, @code{any} is equivalent to @code{ground}.
 
+The built-in modes @code{ia} and @code{oa} are equivalent to @code{in(any}}
+and @code{out(any)} respectively.
+
 @node Abstract solver type declarations
 @subsection Abstract solver type declarations
 
Index: library/builtin.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/builtin.m,v
retrieving revision 1.105
diff -u -r1.105 builtin.m
--- library/builtin.m	2 Aug 2004 08:30:16 -0000	1.105
+++ library/builtin.m	3 Dec 2004 01:02:43 -0000
@@ -98,6 +98,10 @@
 
 % Higher-order predicate modes are builtin.
 
+% Solver type modes.
+:- mode ia == any >> any.
+:- mode oa == free >> any.
+
 %-----------------------------------------------------------------------------%
 
 % PREDICATES.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------