diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-06-17T15·45+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-06-17T15·45+0000 |
commit | 6656993f83fa125e7b72de3962fbb5dd71cc31a4 (patch) | |
tree | 4cad13645dfa642381ef57798ec0117faaac595b /src/globals.hh | |
parent | a7ab242fb42dad81dc1bccdca4b432587e0957dd (diff) |
* Derefencing of hashed expressions.
Diffstat (limited to 'src/globals.hh')
-rw-r--r-- | src/globals.hh | 10 |
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; |