[m-rev.] Update solver types documentation.

[Ralph Becket]

Estimated hours taken: 0.1
Branches: main

doc/reference_manual.texi:
	Previously the documentation stated that inst any was equivalent
	to inst ground for non-solver types.  This is not correct: an
	(ordinary) list of inst any solver type values, for example, may
	not be semantically ground and therefore must have any as (some
	component of) its inst.

Index: 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
--- reference_manual.texi	29 Sep 2004 16:52:16 -0000	1.298
+++ reference_manual.texi	2 Dec 2004 05:55:27 -0000
@@ -2110,8 +2110,8 @@
 @node The any inst
 @subsection The @samp{any} inst
 
-A special inst, @code{any}, is associated with solver types.  A variable
-of a solver type with inst @code{any} means that that variable may not
+A special inst, @code{any}, is commonly associated with solver types.  A
+variable with inst @code{any} means that that variable may not
 (yet) be semantically ground, in the following sense: if a variable is
 semantically ground then the set of values it unifies with form an
 equivalence class; if a variable is non-ground then the set of values it
@@ -2123,7 +2123,8 @@
 are values @code{Y} and @code{Z} that unify with @code{X}, but which do
 not unify with each other.
 
-For non-solver types, @code{any} is equivalent to @code{ground}.
+A non-solver type value will have inst @code{any} if it is constructed using
+one or more inst @code{any} values.
 
 @node Abstract solver type declarations
 @subsection Abstract solver type declarations
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------