Re: [gobo-eiffel-develop] Unhandled exception from gec-compiled tests

[Colin P. A. <co...@co...>]

>>>>> "Eric" == Eric Bezault <er...@go...> writes:

    Eric> KL_PART_COMPARATOR also provides `less_than'. But there is
    Eric> no such assumption as: not (a < b) and not (b < a) implies a
    Eric> equal b.  So, when not comparable, instead of raising an
    Eric> exception you can just return false. If your items are not
    Eric> all comparable, then KL_COMPARATOR is not the right
    Eric> abstraction (you don't have a total order relation).

OK. I see your point.
As I can't use KL_PART_COMPARATOR, I shall have to think afresh about
the complete desigmn.
-- 
Colin Adams
Preston Lancashire