pattern_guard_list_comprehension_footnote
[haskell-report.git] / report / literate.verb
index 1285da8..bf27a5d 100644 (file)
@@ -1,10 +1,9 @@
 %
-% $Header: /home/cvs/root/haskell-report/report/literate.verb,v 1.2 2001/06/11 13:10:05 simonpj Exp $
+% $Header: /home/cvs/root/haskell-report/report/literate.verb,v 1.5 2002/12/02 14:53:30 simonpj Exp $
 %
 %**<title>The Haskell 98 Report: Literate Comments</title>
-%*section C
 %**~header
-\section{Literate comments}
+\subsection{Literate comments}
 \label{literate}
 \index{literate comments}
 
@@ -18,8 +17,9 @@ line in which ``@>@'' is the first character is treated as part of the
 program; all other lines are comment.
 
 The program text is recovered
-by taking only those lines beginning with ``@>@'', and deleting the
-first character of each of those lines.  Layout and comments apply
+by taking only those lines beginning with ``@>@'', 
+and replacing the leading ``@>@'' with a space.
+Layout and comments apply
 exactly as described in Appendix~\ref{syntax} in the resulting text.
 
 To capture some cases where one omits an ``@>@'' by mistake, it is an
@@ -55,7 +55,13 @@ An alternative style of literate programming is particularly
 suitable for use with the LaTeX text processing system.
 In this convention, only those parts of the literate program that are
 entirely enclosed between @\begin{code}@$\ldots$@\end{code}@ delimiters are
-treated as program text; all other lines are comment.  It is not necessary
+treated as program text; all other lines are comment.  More precisely:
+\begin{itemize}
+\item Program code begins on the first line following a line that begins @\begin{code}@.
+\item Program code ends just before a subsequent line that begins @\end{code}@ (ignoring
+string literals, of course).
+\end{itemize}
+It is not necessary
 to insert additional blank lines before or after these delimiters, though
 it may be stylistically desirable.  For example,
 \bprog