X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Frts%2Frts.verb;h=97a4fe0602d72c7e1509ab6182ab1eda3f21bf0f;hb=2fa7ebd47c00b5716cb6904648637a65c97b09c7;hp=01e3e34fb10a98b9e7f1039156c8c4e3160b3027;hpb=2bc355fa50e75e512ddd887bd5567aba184f3f0a;p=ghc-hetmet.git

diff --git a/docs/rts/rts.verb b/docs/rts/rts.verb
index 01e3e34..97a4fe0 100644
--- a/docs/rts/rts.verb
+++ b/docs/rts/rts.verb
@@ -799,6 +799,36 @@ How do we do this?
 
 \subsection{A GHC thread returns to a Hugs-compiled return address}
 
+When Hugs pushes return addresses on the stack, they look like this:
+
+@
+	|		|
+	|_______________|
+	|               |  -----> bytecode object
+	|_______________|
+	|               |  _____
+	|_______________|	|___ GHC-friendly return code
+					_____
+					|    |
+					|    | Info Table
+					|____|
+					.    .
+					.    . Code
+					.    .
+@
+
+If GHC is returning, it will return to the address at the top of the
+stack.  The code at this address
+
+\begin{itemize}
+\item saves the thread state in the TSO
+\item returns to the scheduler with a @whatNext@ field of @RunHugs@.
+\end{itemize}
+
+If Hugs is returning to one of these addresses, it can spot the
+special return address at the top and instead jump to the bytecodes
+pointed to by the second word on the stack.
+
 \subsection{A Hugs thread enters a GHC-compiled thunk}
 
 When Hugs is called on to enter a non-Hugs closure (these are