[m-rev.] Update solver types documentation.

[Julien Fischer]

On Thu, 2 Dec 2004, Ralph Becket wrote:

> 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

I'm not sure I like the phrase "commonly associated" - it doesn't seem
very precise.

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