From: simonpj Date: Thu, 10 Mar 2005 09:59:49 +0000 (+0000) Subject: [project @ 2005-03-10 09:59:49 by simonpj] X-Git-Tag: Initial_conversion_from_CVS_complete~926 X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=6b0d08854e4b9a89303d24d2bda800b60a2ee75c [project @ 2005-03-10 09:59:49 by simonpj] Reword documentation of retainer sets --- diff --git a/ghc/docs/users_guide/profiling.xml b/ghc/docs/users_guide/profiling.xml index 3c75ad0..aadbdbb 100644 --- a/ghc/docs/users_guide/profiling.xml +++ b/ghc/docs/users_guide/profiling.xml @@ -769,11 +769,13 @@ x = nfib 25 In particular, constructors are not retainers. - An object A is retained by an object B if object A can be - reached by recursively following pointers starting from object - B but not meeting any other retainers on the way. Each object - has one or more retainers, collectively called its - retainer set. + An object B retains object A if (i) B is a retainer object and + (ii) object A can be reached by recursively following pointers + starting from object B, but not meeting any other retainer + objects on the way. Each live object is retained by one or more + retainer objects, collectively called its retainer set, or its + retainer set, or its + retainers. When retainer profiling is requested by giving the program the option, a graph is generated which is