From: Mark Wooding <mdw@distorted.org.uk>
Date: Thu, 26 May 2016 08:26:09 +0000 (+0100)
Subject: doc/{misc,parsing}.tex: Write <form> rather than <body-form>.
X-Git-Url: https://git.distorted.org.uk/~mdw/sod/commitdiff_plain/cd35a54e8936e9de460427768dcff00df60ecbd4

doc/{misc,parsing}.tex: Write <form> rather than <body-form>.
---

diff --git a/doc/misc.tex b/doc/misc.tex
index 5bf3e18..16337a9 100644
--- a/doc/misc.tex
+++ b/doc/misc.tex
@@ -143,7 +143,7 @@ These symbols are defined in the @|sod-utilities| package.
                                                                 \\ \ind\ind
         (@{ (@<cat-var> @<cat-predicate>) @}^*)               \-\\
       @<declaration>^*                                          \\
-      @<body-form>^*
+      @<form>^*
      \-\nlret @<value>^*}
 \end{describe}
 
diff --git a/doc/parsing.tex b/doc/parsing.tex
index adcc9e1..3170cf4 100644
--- a/doc/parsing.tex
+++ b/doc/parsing.tex
@@ -219,10 +219,10 @@ the scanner and read that data again.  Therefore it's possible to
 \begin{describe}{mac}
     {with-scanner-place (@<place> @<scanner>) @<declarations>^* @<form>^*
       @> @<value>^*}
-  Capture the @<scanner>'s current position as a place, evaluate the
-  @<body-form>s as an implicit progn with the variable @<place> bound to the captured
-  place.  When control leaves the @<body-form>s, the place is released.  The return
-  values are the values of the final @<body-form>.
+  Capture the @<scanner>'s current position as a place, evaluate the @<form>s
+  as an implicit progn with the variable @<place> bound to the captured
+  place.  When control leaves the @<form>s, the place is released.  The
+  return values are the values of the final @<form>.
 \end{describe}
 
 \subsection{Scanner file-location protocol} \label{sec:parsing.scanner.floc}
@@ -539,7 +539,7 @@ file-location protocols.
 \begin{describe}{parseform}
     {seq (@{ @<atomic-parser-spec> @!
              (@[@<var>@] @<parser>) @}^*)                       \\ \ind
-      @<body-form>^*}
+      @<form>^*}
 \end{describe}
 
 \begin{describe}{parseform}{and @<parser>^*}