[m-rev.] Update solver types documentation.

Julien Fischer juliensf at cs.mu.OZ.AU
Fri Dec 3 14:12:52 AEDT 2004


On Fri, 3 Dec 2004, Ralph Becket wrote:

> Julien Fischer, Thursday,  2 December 2004:
> >
> > > +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.
>
> How about replacing the first sentence with this:
>
> "Variables with solver types can have one of three possible insts:
> @code{free}, @code{ground} or @code{any}."

I think that's an improvement.

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



More information about the reviews mailing list