Changes by: Jason J. Hickey (jyh at cs.caltech.edu)
Date: 2007-05-05 10:55:55 -0700 (Sat, 05 May 2007)
Revision: 10648
Log message:

      Implemented the strictly case-sensitive Omake_cache.stat, and use only case-sensitive
     comparisons on nodes.  This should be considered a proposal, to be reviewed.
     
     Potential problems:
        - People might wonder why OMake is case-sensitive on Win32/MacOS etc.
     
     Cleanup, if we decide to go this way:
        - Nodes use only the fine comparison, so the code can be substantially
          cleaned up.
        - The case-detection code should be moved to Omake_cache.

Changes  Path
+167 -90 omake-branches/0.9.8.x/src/ir/omake_cache.ml
+8 -3 omake-branches/0.9.8.x/src/ir/omake_node.ml
+6 -0 omake-branches/0.9.8.x/src/ir/omake_node_sig.ml