From fcc5fed0965ab75350748a14f05383821dbe601b Mon Sep 17 00:00:00 2001 From: simonm Date: Thu, 22 Jan 1998 14:46:26 +0000 Subject: [PATCH] [project @ 1998-01-22 14:46:26 by simonm] Correct a couple of things: WHNF closures can be partial applications as well as constructors. --- docs/rts/rts.verb | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) 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 -- 1.7.10.4