r7rs-small-texinfo

commit 1176326a9c3bc646e7ca4e9f0d99aeafd44ba6cb
parent 252151cfbc5b9fb907e7358a054843ce56554413
Author: Wolfgang Corcoran-Mathe <wcm@sigwinch.xyz>
Date:   Fri,  9 Feb 2024 17:37:17 -0500

Formal syntax: Wrap some long lines.

Diffstat:
M
doc/r7rs-small/formal-syntax.texinfo
 | 
42
++++++++++++++++++++++++++++--------------

1 file changed, 28 insertions(+), 14 deletions(-)
diff --git a/doc/r7rs-small/formal-syntax.texinfo b/doc/r7rs-small/formal-syntax.texinfo
@@ -72,7 +72,8 @@ the corresponding character.
 
 @svar{token} @expansion{} @svar{identifier} | @svar{boolean}
     | @svar{number} | @svar{character} | @svar{string}
-    | @code{(} | @code{)} | @code{@hashchar{}(} | @code{@hashchar{}u8} | @code{'}
+    | @code{(} | @code{)} | @code{@hashchar{}(} | @code{@hashchar{}u8}
+    | @code{'}
     | @code{`} | @code{,} | @code{,@@} | @code{.}
 
 @svar{delimiter} @expansion{} @svar{whitespace} | @svar{vertical line}
@@ -88,19 +89,24 @@ the corresponding character.
 @svar{line ending} @expansion{} @svar{newline}
     | @svar{return} @svar{newline} | @svar{return}
 
-@svar{comment} @expansion{} @code{;} @pseudoprod{all subsequent characters up to a line ending}
+@svar{comment} @expansion{} @code{;}
+      @pseudoprod{all subsequent characters up to a line ending}
     | @svar{nested comment}
     | @code{@hashchar{};} @svar{intertoken space} @svar{datum}
 
-@svar{nested comment} @expansion{} @code{@hashchar{}|} @svar{comment text}
-                  @arbno{@svar{comment cont}} @code{|@hashchar{}}
+@svar{nested comment} @expansion{}
+      @code{@hashchar{}|} @svar{comment text}
+        @arbno{@svar{comment cont}} @code{|@hashchar{}}
 
-@svar{comment text} @expansion{} @pseudoprod{character sequence not containing @code{@hashchar{}|} or @code{|@hashchar{}}}
+@svar{comment text} @expansion{}
+  @pseudoprod{character sequence not containing @code{@hashchar{}|}
+              or @code{|@hashchar{}}}
 
 @svar{comment cont} @expansion{} @svar{nested comment}
     @svar{comment text}
 
-@svar{directive} @expansion{} @code{@hashchar{}!fold-case} | @code{@hashchar{}!no-fold-case}
+@svar{directive} @expansion{} @code{@hashchar{}!fold-case}
+    | @code{@hashchar{}!no-fold-case}
 
 @end indentedblock
 
@@ -123,12 +129,14 @@ identifiers.
 @indentedblock
 
 @svar{identifier} @expansion{} @svar{initial} @arbno{@svar{subsequent}}
-    | @svar{vertical line} @arbno{@svar{symbol element}} @svar{vertical line}
+    | @svar{vertical line} @arbno{@svar{symbol element}}
+        @svar{vertical line}
     | @svar{peculiar identifier}
 
 @svar{initial} @expansion{} @svar{letter} | @svar{special initial}
 
-@svar{letter} @expansion{} @code{a} | @code{b} | @code{c} | @dots{} | @code{z}
+@svar{letter} @expansion{} @code{a} | @code{b} | @code{c}
+    | @dots{} | @code{z}
     | @code{A} | @code{B} | @code{C} | @dots{} | @code{Z}
 
 @svar{special initial} @expansion{} @code{!} | @code{$} | @code{%}
@@ -149,7 +157,8 @@ identifiers.
 @svar{special subsequent} @expansion{} @svar{explicit sign} | @code{.}
     | @code{@@}
 
-@svar{inline hex escape} @expansion{} @code{\x}@svar{hex scalar value}@code{;}
+@svar{inline hex escape} @expansion{}
+      @code{\x}@svar{hex scalar value}@code{;}
 
 @svar{hex scalar value} @expansion{} @atleastone{@svar{hex digit}}
 
@@ -157,7 +166,8 @@ identifiers.
     | @code{\n} | @code{\r}
 
 @svar{peculiar identifier} @expansion{} @svar{explicit sign}
-    | @svar{explicit sign} @svar{sign subsequent} @arbno{@svar{subsequent}}
+    | @svar{explicit sign} @svar{sign subsequent}
+        @arbno{@svar{subsequent}}
     | @svar{explicit sign} @code{.} @svar{dot subsequent}
       @arbno{@svar{subsequent}}
     | @code{.} @svar{dot subsequent} @arbno{@svar{subsequent}}
@@ -168,10 +178,12 @@ identifiers.
     | @code{@@}
 
 @svar{symbol element} @expansion{}
-    @pseudoprod{any character other than @svar{vertical line} or @code{@backslashchar{}}}
+    @pseudoprod{any character other than @svar{vertical line} or
+                @code{@backslashchar{}}}
     | @svar{inline hex escape} | @svar{mnemonic escape} | @code{|}
 
-@svar{boolean} @expansion{} @code{@hashchar{}t} | @code{@hashchar{}f} | @code{@hashchar{}true}
+@svar{boolean} @expansion{} @code{@hashchar{}t} | @code{@hashchar{}f}
+    | @code{@hashchar{}true}
     | @code{@hashchar{}false}
 
 @svar{character} @expansion{} @hashchar{}\ @svar{any character}
@@ -185,7 +197,8 @@ identifiers.
 @svar{string} @expansion{} @code{"} @arbno{@svar{string element}} @code{"}
 
 @svar{string element} @expansion{}
-      @pseudoprod{any character other than @code{"} or @code{@backslashchar{}}}
+      @pseudoprod{any character other than @code{"} or
+                  @code{@backslashchar{}}}
     | @svar{mnemonic escape} | @code{\"} | @code{\\}
     | \@arbno{@svar{intraline whitespace}}@svar{line ending}
       @arbno{@svar{intraline whitespace}}
@@ -260,7 +273,8 @@ in the grammar of numbers can appear in either upper or lower case.
 
 @svar{sign} @expansion{} @svar{empty} | @code{+} | @code{-}
 
-@svar{exactness} @expansion{} @svar{empty} | @code{@hashchar{}i} | @code{@hashchar{}e}
+@svar{exactness} @expansion{} @svar{empty} | @code{@hashchar{}i}
+    | @code{@hashchar{}e}
 
 @svar{radix 2} @expansion{} @code{@hashchar{}b}