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 |