[m-rev.] trivial diff: documentation improvements

[Zoltan Somogyi]

On 29-May-2003, Peter Ross <pro at missioncriticalit.com> wrote:
> Does the compiler actually make that assumption that if only a `where
> comparison is` clause is supplied then the unification predicate is
> defined in terms of compare.

The compiler doesn't *assume* this, it *implements* unification this way
if the user supplies a comparison pred but not a unification pred.

> This assumption doesn't appear to be documented in the reference manual.

It is documented. The section on "User-defined equality and comparison" says:

	If a comparison predicate is supplied and the unification predicate
	is omitted, a unification predicate is generated by the compiler
	in terms of the comparison predicate. 

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