Re: [gobo-eiffel-develop] Postcondition failure in {DS_HASH_TABLE}.search_position

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

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

    Eric> There are two reasons why you could get a postcondition
    Eric> violation in this routine. Either this routine (or its
    Eric> postcondition) has a bug, or your hash table contains
    Eric> mutable keys whose comparison criterion or hash code has
    Eric> changed since it was first inserted.

I've thought of another possibility.
The items are datetimes in different time zones.
It may be that I have two items that compare equal, but their hash
codes are not equal.

I'll check on this tomorrow.
-- 
Colin Adams
Preston Lancashire