Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-05-03 11:36:01 -0700 (Thu, 03 May 2007)
Revision: 10617
Log message:
Added another variation on the same theme - a HashMarshalEq that is very
similar to HashMarshal, except that it handles two different equalities -
"strong" equality that tells whether two items can be cons-hashed together and
a "weak" one that tells that the two items should be considered equivalent by
the upper layers, but should not be completely coalesced by the cons-hashing.
This is menat to be used in situations like the case-insensitive
case-preserving filenames - the case differences should be ignored by the
filename tables and sets, but should _not_ be erased by cons-hashing.
Changes | Path |
+180 -0 | libmojave/util/lm_hash.ml |
+7 -0 | libmojave/util/lm_hash.mli |
+50 -0 | libmojave/util/lm_hash_sig.ml |