about summary refs log tree commit diff
path: root/src/globals.hh
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2003-06-17T15·45+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2003-06-17T15·45+0000
commit6656993f83fa125e7b72de3962fbb5dd71cc31a4 (patch)
tree4cad13645dfa642381ef57798ec0117faaac595b /src/globals.hh
parenta7ab242fb42dad81dc1bccdca4b432587e0957dd (diff)
* Derefencing of hashed expressions.
Diffstat (limited to 'src/globals.hh')
-rw-r--r--src/globals.hh10
1 files changed, 7 insertions, 3 deletions
diff --git a/src/globals.hh b/src/globals.hh
index d4fe4b370f2a..b81a787147c3 100644
--- a/src/globals.hh
+++ b/src/globals.hh
@@ -21,9 +21,13 @@ extern string dbRefs;
 
 /* dbNFs :: Hash -> Hash
 
-   Each pair (h1, h2) in this mapping records the fact that the value
-   referenced by h2 is a normal form obtained by evaluating the value
-   referenced by value h1.
+   Each pair (h1, h2) in this mapping records the fact that the normal
+   form of an expression with hash h1 is Hash(h2).
+
+   TODO: maybe this should be that the normal form of an expression
+   with hash h1 is an expression with hash h2; this would be more
+   general, but would require us to store lots of small expressions in
+   the file system just to support the caching mechanism.
 */
 extern string dbNFs;