diff options
Diffstat (limited to 'libraries/base/System')
| -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. -} |