[m-rev.] trivial diff: documentation improvements

[Peter Ross]

On Thu, May 29, 2003 at 07:15:04PM +1000, Zoltan Somogyi wrote:
> +	% Succeed iff there was either a `where equality is <predname>' or a
> +	% `where comparison is <predname>' declaration for the principal type
> +	% constructor of the specified type, and return the ids of the declared
> +	% unify and/or comparison predicates. Note that even if the type
> +	% constructor has only a `where comparison is' clause, it effectively
> +	% has user-defined equality, two values being equal only if the
> +	% compare pred returns equal.
> +	%
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.

This assumption doesn't appear to be documented in the reference manual.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------