summaryrefslogtreecommitdiff
path: root/libraries/base/System
diff options
context:
space:
mode:
authorSimon Marlow <marlowsd@gmail.com>2012-04-12 11:19:04 +0100
committerSimon Marlow <marlowsd@gmail.com>2012-04-12 11:43:18 +0100
commit3b047ba4915218d17f07c445f42c54b9a29e2f26 (patch)
tree6687e0c8d63706b5c6ca8124e6e9c7230c630d2b /libraries/base/System
parent52d43ffbf7aeea4ec96b1bfe262fd1f2493fc50e (diff)
downloadhaskell-3b047ba4915218d17f07c445f42c54b9a29e2f26.tar.gz
doc tweaks
Diffstat (limited to 'libraries/base/System')
-rw-r--r--libraries/base/System/Mem/Weak.hs7
1 files changed, 4 insertions, 3 deletions
diff --git a/libraries/base/System/Mem/Weak.hs b/libraries/base/System/Mem/Weak.hs
index a2e6f72063..4003a744cd 100644
--- a/libraries/base/System/Mem/Weak.hs
+++ b/libraries/base/System/Mem/Weak.hs
@@ -139,8 +139,9 @@ The behaviour is simply this:
This behaviour depends on what it means for a key to be reachable.
Informally, something is reachable if it can be reached by following
ordinary pointers from the root set, but not following weak pointers.
-We define reachability more precisely as follows A heap object is
-reachable if:
+We define reachability more precisely as follows.
+
+A heap object is /reachable/ if:
* It is a member of the /root set/.
@@ -149,6 +150,6 @@ reachable if:
* It is a weak pointer object whose key is reachable.
- * It is the value or finalizer of an object whose key is reachable.
+ * It is the value or finalizer of a weak pointer object whose key is reachable.
-}