From: simonm Date: Thu, 6 May 1999 08:41:10 +0000 (+0000) Subject: [project @ 1999-05-06 08:41:10 by simonm] X-Git-Tag: Approximately_9120_patches~6250 X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=6fcc92de9272e5a9e087966cff0c133eafc1bcc4;p=ghc-hetmet.git [project @ 1999-05-06 08:41:10 by simonm] s/finalis/finaliz/g --- diff --git a/ghc/docs/libraries/Weak.sgml b/ghc/docs/libraries/Weak.sgml index 68f5028..16cb034 100644 --- a/ghc/docs/libraries/Weak.sgml +++ b/ghc/docs/libraries/Weak.sgml @@ -58,7 +58,7 @@ alive for ever. One way to solve this is to purge the table occasionally, by deleting entries whose keys have died. The weak pointers in this library -support another approach, called There may be multiple weak pointers to a single object. @@ -207,7 +207,7 @@ The behaviour is simply this: If a weak pointer (object) refers to an Finalisation means (a) arrange that subsequent calls + Finalization means (a) arrange that subsequent calls to @@ -243,7 +243,7 @@ and the finalizer are reachable, and so, therefore, are any other keys they refer to directly or indirectly. -Finalisation for foreign objects +Finalization for foreign objects