[m-rev.] for review: changes to the library from the mode-constraints branch

[Fergus Henderson]

On 19-Aug-2002, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> On 19-Aug-2002, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> > Well, the wording does seem to suggest the latter, but it is not explicit
> > about it, so it is not entirely clear.  A reason to doubt that it means
> > that latter is that I don't see how the latter would be useful, given
> > that term__var_to_int explicitly leaves the integer values unspecified.
> 
> But implementors need not be limited by that fact.

Sure.  But procedures which are only useful in conjunction with
additional assumptions about the implementation should not be
part of the public interface.

> > Is the code in the mode constraint system relying on the value returned
> > being the maximum in the ordering specified by compare/3?
> > Or relying on the values returned by term__var_to_int being
> > sequential integers?
> 
> The latter, I believe.

OK, in that case I think these new procedures in term and varset
definitely belong in the undocumented section of the interface.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------