[m-dev.] Re: for review: choose best mode, not first mode

[Fergus Henderson]

Lee Naish, you wrote:
> 
> >+:- type det_comparison	--->	tighter ; sameas ; looser.
> 
> It might be better to use a "generic" comparison type in cases like
> this, rather than invent a new one every time.  It would be nice to
> have subtypes so both partial and total orders could use the same type.

The trouble with a generic comparison type is that it is very
easy to get confused about whether "<" means "tighter" or "looser".
I think I prefer the more descriptive names.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>   |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>   |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3         |     -- the last words of T. S. Garp.