[mercury-users] Mutually exclusive goals

[Peter Schachte]

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