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

[Eric B. <er...@go...>]

Colin Paul Adams wrote:
>>>>>> "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.

Why can't you use KL_PART_COMPARATOR?

-- 
Eric Bezault
mailto:er...@go...
http://www.gobosoft.com