diff options
author | Simon Marlow <marlowsd@gmail.com> | 2012-04-12 11:19:04 +0100 |
---|---|---|
committer | Simon Marlow <marlowsd@gmail.com> | 2012-04-12 11:43:18 +0100 |
commit | 3b047ba4915218d17f07c445f42c54b9a29e2f26 (patch) | |
tree | 6687e0c8d63706b5c6ca8124e6e9c7230c630d2b /libraries/base | |
parent | 52d43ffbf7aeea4ec96b1bfe262fd1f2493fc50e (diff) | |
download | haskell-3b047ba4915218d17f07c445f42c54b9a29e2f26.tar.gz |
doc tweaks
Diffstat (limited to 'libraries/base')
-rw-r--r-- | libraries/base/System/Mem/Weak.hs | 7 |
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. -} |