From 6fcc92de9272e5a9e087966cff0c133eafc1bcc4 Mon Sep 17 00:00:00 2001 From: simonm Date: Thu, 6 May 1999 08:41:10 +0000 Subject: [PATCH] [project @ 1999-05-06 08:41:10 by simonm] s/finalis/finaliz/g --- ghc/docs/libraries/Weak.sgml | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) 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