commit 252151cfbc5b9fb907e7358a054843ce56554413
parent b87a6107ac95e9755348964049ad1f72c0bd86df
Author: Wolfgang Corcoran-Mathe <wcm@sigwinch.xyz>
Date: Fri, 9 Feb 2024 17:33:05 -0500
Insert explicit line-breaks & spaces in long productions.
This is a bit of a kludge, but it's probably less kludgy than
trying to hack @multitab to do this.
Diffstat:
1 file changed, 86 insertions(+), 86 deletions(-)
diff --git a/doc/r7rs-small/formal-syntax.texinfo b/doc/r7rs-small/formal-syntax.texinfo
@@ -327,16 +327,16 @@ shadowed.
@indentedblock
-@svar{expression} @expansion{} @svar{identifier}
- | @svar{literal}
- | @svar{procedure call}
- | @svar{lambda expression}
- | @svar{conditional}
- | @svar{assignment}
- | @svar{derived expression}
- | @svar{macro use}
- | @svar{macro block}
- | @svar{includer}
+@svar{expression} @expansion{} @svar{identifier}@*
+@ @ | @svar{literal}@*
+@ @ | @svar{procedure call}@*
+@ @ | @svar{lambda expression}@*
+@ @ | @svar{conditional}@*
+@ @ | @svar{assignment}@*
+@ @ | @svar{derived expression}@*
+@ @ | @svar{macro use}@*
+@ @ | @svar{macro block}@*
+@ @ | @svar{includer}
@sp 1
@@ -391,43 +391,43 @@ shadowed.
@c This is going to need some serious line-breaking.
@svar{derived expression} @expansion{}
- @code{(cond }@atleastone{@svar{cond clause}}@code{)}
- | @code{(cond }@arbno{@svar{cond clause}} @code{(else}
- @svar{sequence})@code{)}
- | @code{(case }@svar{expression}
- @atleastone{@svar{case clause}}@code{)}
- | @code{(case }@svar{expression}
+ @code{(cond }@atleastone{@svar{cond clause}}@code{)}@*
+@ @ | @code{(cond }@arbno{@svar{cond clause}} @code{(else}
+ @svar{sequence})@code{)}@*
+@ @ | @code{(case }@svar{expression}
+ @atleastone{@svar{case clause}}@code{)}@*
+@ @ | @code{(case }@svar{expression}
@arbno{@svar{case clause}}
- @code{(else }@svar{sequence})@code{)}
- | @code{(case }@svar{expression}
+ @code{(else }@svar{sequence})@code{)}@*
+@ @ | @code{(case }@svar{expression}
@arbno{@svar{case clause}}
- @code{(else =>} @svar{recipient})@code{)}
- | @code{(and }@arbno{@svar{test}}@code{)}
- | @code{(or }@arbno{@svar{test}}@code{)}
- | @code{(when }@svar{test} @svar{sequence}@code{)}
- | @code{(unless }@svar{test} @svar{sequence}@code{)}
- | @code{(let }(@arbno{@svar{binding spec}}) @svar{body}@code{)}
- | @code{(let }@svar{identifier} (@arbno{@svar{binding spec}})
- @svar{body}@code{)}
- | @code{(let* }(@arbno{@svar{binding spec}}) @svar{body}@code{)}
- | @code{(letrec }(@arbno{@svar{binding spec}}) @svar{body}@code{)}
- | @code{(letrec* }(@arbno{@svar{binding spec}}) @svar{body}@code{)}
- | @code{(let-values }(@arbno{@svar{mv binding spec}})
- @svar{body}@code{)}
- | @code{(let*-values }(@arbno{@svar{mv binding spec}})
- @svar{body}@code{)}
- | @code{(begin }@svar{sequence}@code{)}
- | @code{(do }(@arbno{@svar{iteration spec}}@code{)}
+ @code{(else =>} @svar{recipient})@code{)}@*
+@ @ | @code{(and }@arbno{@svar{test}}@code{)}@*
+@ @ | @code{(or }@arbno{@svar{test}}@code{)}@*
+@ @ | @code{(when }@svar{test} @svar{sequence}@code{)}@*
+@ @ | @code{(unless }@svar{test} @svar{sequence}@code{)}@*
+@ @ | @code{(let }(@arbno{@svar{binding spec}}) @svar{body}@code{)}@*
+@ @ | @code{(let }@svar{identifier} (@arbno{@svar{binding spec}})
+ @svar{body}@code{)}@*
+@ @ | @code{(let* }(@arbno{@svar{binding spec}}) @svar{body}@code{)}@*
+@ @ | @code{(letrec }(@arbno{@svar{binding spec}}) @svar{body}@code{)}@*
+@ @ | @code{(letrec* }(@arbno{@svar{binding spec}}) @svar{body}@code{)}@*
+@ @ | @code{(let-values }(@arbno{@svar{mv binding spec}})
+ @svar{body}@code{)}@*
+@ @ | @code{(let*-values }(@arbno{@svar{mv binding spec}})
+ @svar{body}@code{)}@*
+@ @ | @code{(begin }@svar{sequence}@code{)}@*
+@ @ | @code{(do }(@arbno{@svar{iteration spec}}@code{)}
(@svar{test} @svar{do result}@code{)}
- @arbno{@svar{command}}@code{)}
- | @code{(delay }@svar{expression}@code{)}
- | @code{(delay-force }@svar{expression}@code{)}
- | @code{(parameterize }(@arbno{(@svar{expression}
- @svar{expression})}@code{)} @svar{body}@code{)}
- | @code{(guard }(@svar{identifier} @arbno{@svar{cond clause}})
- @svar{body}@code{)}
- | @svar{quasiquotation}
- | @code{(case-lambda }@arbno{@svar{case-lambda clause}}@code{)}
+ @arbno{@svar{command}}@code{)}@*
+@ @ | @code{(delay }@svar{expression}@code{)}@*
+@ @ | @code{(delay-force }@svar{expression}@code{)}@*
+@ @ | @code{(parameterize }(@arbno{(@svar{expression}
+ @svar{expression})}@code{)} @svar{body}@code{)}@*
+@ @ | @code{(guard }(@svar{identifier} @arbno{@svar{cond clause}})
+ @svar{body}@code{)}@*
+@ @ | @svar{quasiquotation}@*
+@ @ | @code{(case-lambda }@arbno{@svar{case-lambda clause}}@code{)}
@sp 1
@@ -557,18 +557,18 @@ pattern or an identifier pattern.
@svar{syntax rule} @expansion{}
@code{(}@svar{pattern} @svar{template}@code{)}
-@svar{pattern} @expansion{} @svar{pattern identifier}
- | @svar{underscore}
- | @code{(}@arbno{@svar{pattern}}@code{)}
- | @code{(}@atleastone{@svar{pattern}} @code{.} @svar{pattern}@code{)}
- | @code{(}@arbno{@svar{pattern}} @svar{pattern} @svar{ellipsis}
- @arbno{@svar{pattern}}@code{)}
- | @code{(}@arbno{@svar{pattern}} @svar{pattern} @svar{ellipsis}
- @arbno{@svar{pattern}} @code{.} @svar{pattern}@code{)}
- | @code{@hashchar{}(}@arbno{@svar{pattern}}@code{)}
- | @code{@hashchar{}(}@arbno{@svar{pattern}} @svar{pattern}
- @svar{ellipsis} @arbno{@svar{pattern}}@code{)}
- | @svar{pattern datum}
+@svar{pattern} @expansion{} @svar{pattern identifier}@*
+@ @ | @svar{underscore}@*
+@ @ | @code{(}@arbno{@svar{pattern}}@code{)}@*
+@ @ | @code{(}@atleastone{@svar{pattern}} @code{.} @svar{pattern}@code{)}@*
+@ @ | @code{(}@arbno{@svar{pattern}} @svar{pattern} @svar{ellipsis}
+ @arbno{@svar{pattern}}@code{)}@*
+@ @ | @code{(}@arbno{@svar{pattern}} @svar{pattern} @svar{ellipsis}
+ @arbno{@svar{pattern}} @code{.} @svar{pattern}@code{)}@*
+@ @ | @code{@hashchar{}(}@arbno{@svar{pattern}}@code{)}@*
+@ @ | @code{@hashchar{}(}@arbno{@svar{pattern}} @svar{pattern}
+ @svar{ellipsis} @arbno{@svar{pattern}}@code{)}@*
+@ @ | @svar{pattern datum}
@svar{pattern datum} @expansion{} @svar{string}
| @svar{character}
@@ -613,15 +613,15 @@ pattern or an identifier pattern.
| @code{(begin }@atleastone{@svar{command or definition}}@code{)}
@svar{definition} @expansion{}
- @code{(define }@svar{identifier} @svar{expression}@code{)}
- | @code{(define }(@svar{identifier} @svar{def formals}@code{)}
- @svar{body}@code{)}
- | @svar{syntax definition}
- | @code{(define-values }@svar{formals} @svar{body}@code{)}
- | @code{(define-record-type }@svar{identifier}
+ @code{(define }@svar{identifier} @svar{expression}@code{)}@*
+@ @ | @code{(define }(@svar{identifier} @svar{def formals}@code{)}
+ @svar{body}@code{)}@*
+@ @ | @svar{syntax definition}@*
+@ @ | @code{(define-values }@svar{formals} @svar{body}@code{)}@*
+@ @ | @code{(define-record-type }@svar{identifier}
@svar{constructor} @svar{identifier}
- @arbno{@svar{field spec}}@code{)}
- | @code{(begin }@arbno{@svar{definition}}@code{)}
+ @arbno{@svar{field spec}}@code{)}@*
+@ @ | @code{(begin }@arbno{@svar{definition}}@code{)}
@svar{def formals} @expansion{} @arbno{@svar{identifier}}
| @arbno{@svar{identifier}} @code{.} @svar{identifier}
@@ -660,17 +660,17 @@ pattern or an identifier pattern.
| @svar{uinteger 10}
@svar{library declaration} @expansion{}
- @code{(export }@arbno{@svar{export spec}}@code{)}
- | @svar{import declaration}
- | @code{(begin }@arbno{@svar{command or definition}}@code{)}
- | @svar{includer}
- | @code{(include-library-declarations}
- @atleastone{@svar{string}}@code{)}
- | @code{(cond-expand}
- @atleastone{@svar{cond-expand clause}}@code{)}
- | @code{(cond-expand}
- @atleastone{@svar{cond-expand clause}}
- @code{(else }@arbno{@svar{library declaration}})@code{)}
+ @code{(export }@arbno{@svar{export spec}}@code{)}@*
+@ @ | @svar{import declaration}@*
+@ @ | @code{(begin }@arbno{@svar{command or definition}}@code{)}@*
+@ @ | @svar{includer}@*
+@ @ | @code{(include-library-declarations}
+ @atleastone{@svar{string}}@code{)}@*
+@ @ | @code{(cond-expand}
+ @atleastone{@svar{cond-expand clause}}@code{)}@*
+@ @ | @code{(cond-expand}
+ @atleastone{@svar{cond-expand clause}}
+ @code{(else }@arbno{@svar{library declaration}})@code{)}
@svar{import declaration} @expansion{}
@code{(import }@atleastone{@svar{import set}}@code{)}
@@ -678,22 +678,22 @@ pattern or an identifier pattern.
@svar{export spec} @expansion{} @svar{identifier}
| @code{(rename }@svar{identifier} @svar{identifier}@code{)}
-@svar{import set} @expansion{} @svar{library name}
- | @code{(only }@svar{import set}
- @atleastone{@svar{identifier}}@code{)}
- | @code{(except }@svar{import set}
- @atleastone{@svar{identifier}}@code{)}
- | @code{(prefix }@svar{import set} @svar{identifier}@code{)}
- | @code{(rename }@svar{import set}
+@svar{import set} @expansion{} @svar{library name}@*
+@ @ | @code{(only }@svar{import set}
+ @atleastone{@svar{identifier}}@code{)}@*
+@ @ | @code{(except }@svar{import set}
+ @atleastone{@svar{identifier}}@code{)}@*
+@ @ | @code{(prefix }@svar{import set} @svar{identifier}@code{)}@*
+@ @ | @code{(rename }@svar{import set}
@atleastone{(@svar{identifier} @svar{identifier})}@code{)}
@svar{cond-expand clause} @expansion{}
(@svar{feature requirement} @arbno{@svar{library declaration}}@code{)}
@svar{feature requirement} @expansion{} @svar{identifier}
- | @code{(library }@svar{library name}@code{)}
- | @code{(and }@arbno{@svar{feature requirement}}@code{)}
- | @code{(or }@arbno{@svar{feature requirement}}@code{)}
- | @code{(not }@svar{feature requirement}@code{)}
+@ @ | @code{(library }@svar{library name}@code{)}@*
+@ @ | @code{(and }@arbno{@svar{feature requirement}}@code{)}@*
+@ @ | @code{(or }@arbno{@svar{feature requirement}}@code{)}@*
+@ @ | @code{(not }@svar{feature requirement}@code{)}
@end indentedblock
