[m-dev.] Inequalities and compare/3

[Ralph Becket]

>From Fergus Henderson on 01/02/2001 13:42:51
> 
> No, just historical stuff inherited from Prolog.
> 
> > If not, would it be sensible
> > to make X < Y a synonym for compare((<), X, Y) etc. for whatever
> > type X and Y share?
> 
> Yes, modulo concerns about backwards compatibility
> (for the V1 library; the V2 library is a different story).

Good, that makes it a TODO list item.

> Well, there's nothing in the *language* which depends on any standard
> ordering; it's just the *library* that cares.

I've seen (and *cough* written) a fair amount of code that assumes a
"sensible" standard ordering.

Perhaps this would be worth making part of the spec?

--
Ralph Becket      |      MSR Cambridge      |      rbeck at microsoft.com 

--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------