From 6656993f83fa125e7b72de3962fbb5dd71cc31a4 Mon Sep 17 00:00:00 2001 From: Eelco Dolstra Date: Tue, 17 Jun 2003 15:45:43 +0000 Subject: * Derefencing of hashed expressions. --- src/globals.hh | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) (limited to 'src/globals.hh') 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; -- cgit 1.4.1