[m-rev.] for review: user-defined comparison

Mark Brown dougl at cs.mu.OZ.AU
Thu Oct 31 18:31:39 AEDT 2002


On 31-Oct-2002, Mark Brown <dougl at cs.mu.OZ.AU> wrote:
> On 29-Oct-2002, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> > + at item
> > + at var{comparepred} should be a partial order relation: that is
> > +it must be antisymmetric, reflexive and transitive.  The
> > +compiler is not required to check this.
> > +
> 
> This point should go in the constraints list, rather than the semantics
> list.

Likewise for the constraint on equality predicates.  (This point was
already in the semantics list before your change, but I think it belongs
with the constraints.)

Cheers,
Mark.

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