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