From: sewardj <unknown>
Date: Fri, 29 Sep 2000 12:18:22 +0000 (+0000)
Subject: [project @ 2000-09-29 12:18:22 by sewardj]
X-Git-Tag: Approximately_9120_patches~3716
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=1eba6da24132e7340aa4215d3e6eea3732d1b265;p=ghc-hetmet.git

[project @ 2000-09-29 12:18:22 by sewardj]
Internal consistency wibble: @LinkState@ --> @PLS@.
---

diff --git a/ghc/docs/ghci/ghci.tex b/ghc/docs/ghci/ghci.tex
index 6c3b64b..346a325 100644
--- a/ghc/docs/ghci/ghci.tex
+++ b/ghc/docs/ghci/ghci.tex
@@ -758,10 +758,10 @@ Anyway:
 \begin{verbatim}
    data PLS -- as described above; opaque to everybody except the linker
 
-   link :: PCI -> ??? -> [[Linkable]] -> LinkState -> IO LinkResult
+   link :: PCI -> ??? -> [[Linkable]] -> PLS -> IO LinkResult
 
-   data LinkResult = LinkOK   LinkState
-                   | LinkErrs LinkState [SDoc]
+   data LinkResult = LinkOK   PLS
+                   | LinkErrs PLS [SDoc]
 
    emptyPLS :: IO PLS     -- since CM has no other way to make one
 \end{verbatim}
@@ -803,7 +803,7 @@ it may not be possible to link recursive groups containing libraries.
 \end{itemize}
 
 If linking in of a group should fail for some reason, @link@ should
-not modify its @LinkState@ at all.  In other words, linking each group
+not modify its PLS at all.  In other words, linking each group
 is atomic; it either succeeds or fails.
 
 \subsubsection*{\mbox{\tt Unlinked} and \mbox{\tt Linkable}}