Re: is_equal of HASHABLE
Colnet Dominique <[email protected]>
| Newsgroups | gmane.comp.lang.eiffel.smalleiffel |
|---|---|
| Message-ID | <[email protected]> |
José Bollo wrote: >Le vendredi 13 Mai 2005 13:51, Frank Boehme a écrit : > > >>Frank Boehme wrote: >> >> >>>>Doing such thing would break codes that use SET to record objects by >>>>there address (hash_code: INTEGER is do Result := >>>>to_pointer.hash_code). Maybe such implementation may be usefull. >>>> >>>> >>More about that: I think such code should only be used for hashing if >>only the "fast-.." features are used for lookup, i.e. the ones based on >>'=' rahter than 'is_equal'. >> >>F >> >> > >yes indeed > >i was wrong. > > Good news because I like the idea of Frank. If there are no other problems, I will try the suggested modification on all the code I have. I am quite sure it is the way to go. Thanks to all, PS: and I do not want to add an `is_hashable´ feature in HASHABLE ;-) -- -------------------------------------------------------------- [email protected] -- IUT (Nancy 2) -- INRIA Lorraine http://SmartEiffel.loria.fr -- The GNU Eiffel Compiler POST: Loria, B.P. 239,54506 Vandoeuvre les Nancy Cedex, FRANCE Voice:+33 0383913140 Mobile: +33 0665362381 Fax:+33 0383581701