for review: choose best mode, not first mode

Lee Naish lee at cs.mu.oz.au
Wed Oct 15 10:33:46 AEST 1997


>+:- 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.

	lee



More information about the developers mailing list