From: simonm <unknown>
Date: Thu, 22 Jan 1998 14:46:26 +0000 (+0000)
Subject: [project @ 1998-01-22 14:46:26 by simonm]
X-Git-Tag: Approx_2487_patches~1070
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=fcc5fed0965ab75350748a14f05383821dbe601b

[project @ 1998-01-22 14:46:26 by simonm]
Correct a couple of things: WHNF closures can be partial applications
as well as constructors.
---

diff --git a/docs/rts/rts.verb b/docs/rts/rts.verb
index 5b6691d..38619f2 100644
--- a/docs/rts/rts.verb
+++ b/docs/rts/rts.verb
@@ -520,7 +520,7 @@ pushing an \emph{update frame} onto the stack and overwriting the
 thunk with a \emph{black hole} (see Black Holes, below).  When
 evaluation of the thunk completes, the update frame will cause the
 thunk to be overwritten again with an \emph{indirection} to the result
-of the thunk, which is always a constructor.
+of the thunk, which is always a constructor or a partial application.
 
 \begin{center}
 \begin{tabular}{|l|l|l|l|}\hline
@@ -606,9 +606,9 @@ an update in place.)
 \end{tabular}
 \end{center}
 
-Indirections needn't always point to a constructor.  They can point to
-a chain of indirections which point to an evaluated closure.  When
-revertible black holes are added, they may also point to reverted
+Indirections needn't always point to a closure in WHNF.  They can
+point to a chain of indirections which point to an evaluated closure.
+When revertible black holes are added, they may also point to reverted
 black holes.
 
 \item[Thread State Objects (@TSO@s)] represent Haskell threads.  Their