[mercury-users] Mutually exclusive goals

Peter Schachte schachte at cs.mu.OZ.AU
Thu Jul 8 18:10:43 AEST 1999

On Thu, Jul 08, 1999 at 01:26:21PM +1000, Fergus Henderson wrote:
> On 08-Jul-1999, Peter Schachte <schachte at cs.mu.OZ.AU> wrote:
> > I think it's a very good idea to create an `ordered' type class, and
> > probably `partial_order' and `total_order' subclasses, as well.
> What would be the difference between the `ordered' type class and
> its `partial_order' subclass?

Ummmmmmm.  I guess none.  Alright, so there should just be two
classes:  `partial_order' and `total_order'.

> Does it make sense to use "<", ">",
> etc. for something which is not at least a partial ordering?

Probably not.  Unless you want to use < and > as redirection operators
or something like that :->.  Anyway, aside from the fact that they're
operators, I don't see why the Mercury compiler should know anything
special about those particular predicates.

Peter Schachte                     You can tell the ideals of a nation by
mailto:schachte at cs.mu.OZ.AU        its advertisements.
http://www.cs.mu.oz.au/~schachte/      -- Norman Douglas 
PGP: finger schachte at  
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe

More information about the users mailing list