From 6b0d08854e4b9a89303d24d2bda800b60a2ee75c Mon Sep 17 00:00:00 2001 From: simonpj Date: Thu, 10 Mar 2005 09:59:49 +0000 Subject: [PATCH] [project @ 2005-03-10 09:59:49 by simonpj] Reword documentation of retainer sets --- ghc/docs/users_guide/profiling.xml | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) 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 -- 1.7.10.4