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

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

>>>>> "Colin" == Colin Paul Adams <co...@co...> writes:

>>>>> "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.

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

Yes that was the problem. 
I had actually thought about it, it seems, but just got it wrong.

Fixed now.
-- 
Colin Adams
Preston Lancashire