Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-04-19 18:31:29 -0700 (Tue, 19 Apr 2005)
Revision: 886
Log message:

      Added initial code to compute the digest of a value.  This code
      works the naive way, by converting the value to string form,
      then computing the MD5 digest.  An alternate approach would be
      to convert the value to a simplified form (a form that does not
      include environments), then use Pervasives.compare.  The
      construction phase is a bit cheaper, but it will blow up space
      usage, so it is a tradeoff.
      
      This is the initial step toward fixing bug# 431.
      

Changes	Path
+4 -0	omake/Files
Added	omake/omake_value_digest.ml
Properties	omake/omake_value_digest.ml
Added	omake/omake_value_digest.mli
Properties	omake/omake_value_digest.mli
+7 -0	omake/src/env/omake_env.ml
+5 -0	omake/src/env/omake_env.mli
+20 -11	omake/src/eval/omake_rule.ml