commit 4fc6019af91cb18948fbc725876e3fa77891133c
parent 64e13077d9c279a1d4774583f966b52555cc0902
Author: Wolfgang Corcoran-Mathe <wcm@sigwinch.xyz>
Date: Wed, 7 Feb 2024 13:07:10 -0500
Citations.
Diffstat:
10 files changed, 20 insertions(+), 25 deletions(-)
diff --git a/doc/r7rs-small/basic-concepts.texinfo b/doc/r7rs-small/basic-concepts.texinfo
@@ -218,7 +218,7 @@ either by the current continuation or by continuations captured earlier
by @code{call-with-current-continuation} that are later invoked. In
the absence of captured continuations, calls could return at most
once and the active calls would be those that had not yet returned. A
-formal definition of proper tail recursion can be found in [6].
+formal definition of proper tail recursion can be found in [@ref{propertailrecursion}].
@rationale{}
diff --git a/doc/r7rs-small/derived-expressions-implementation.texinfo b/doc/r7rs-small/derived-expressions-implementation.texinfo
@@ -359,9 +359,8 @@ where @code{make-promise} is defined as follows:
Finally, we define @code{force} to call the procedure expressions
in promises iteratively using a trampoline technique following SRFI
-45 until a non-lazy result (i.e.@: a value created by @code{delay}
+45 [@ref{srfi45}] until a non-lazy result (i.e.@: a value created by @code{delay}
instead of @code{delay-force}) is returned, as follows:
-@c \cite{srfi45}
@lisp
(define (force promise)
diff --git a/doc/r7rs-small/language-changes.texinfo b/doc/r7rs-small/language-changes.texinfo
@@ -11,7 +11,7 @@
@section Incompatibilities with @rfivers{}
This section enumerates the incompatibilities between this report and
-the ``Revised@sup{5} report'' [20].
+the ``Revised@sup{5} report'' [@ref{R5RS}].
This list is not authoritative, but is believed to be correct and
complete.
@@ -68,7 +68,7 @@ removed.
@section Other language changes since @rfivers{}
This section enumerates the additional differences between this report
-and the ``Revised5 report'' [20].
+and the ``Revised5 report'' [@ref{R5RS}].
This list is not authoritative, but is believed to be correct and
complete.
@@ -105,8 +105,7 @@ predicates to detect them.
@item
New disjoint types supporting access to multiple fields can be
-generated with the @code{define-record-type} of SRFI 9.
-@c cite SRFI 9
+generated with the @code{define-record-type} of SRFI 9 [@ref{srfi9}].
@item
Parameter objects can be created with @code{make-parameter}, and
@@ -116,8 +115,7 @@ parameter objects, as is the newly introduced
@code{current-error-port}.
@item
-Support for promises has been enhanced based on SRFI 45.
-@c cite{srfi45}.
+Support for promises has been enhanced based on SRFI 45 [@ref{srfi45}].
@item
Bytevectors, vectors of exact integers in the range from 0 to 255
@@ -385,10 +383,10 @@ of values.
@item
The semantics of @code{map} and @code{for-each} have been changed to
-use the SRFI 1 early termination behavior. Likewise, @code{assoc} and
+use the SRFI 1 [@ref{srfi1}] early termination behavior. Likewise, @code{assoc} and
@code{member} take an optional @code{equal?} argument as in SRFI 1,
instead of the separate @code{assp} and @code{memp} procedures of
-@rsixrs{}. @c cite{srfi1}
+@rsixrs{}.
@item
The @rsixrs{} @code{quasiquote} clarifications have been adopted, with
@@ -399,15 +397,13 @@ the exception of multiple-argument @code{unquote} and
The @rsixrs{} method of specifying mantissa widths was not adopted.
@item
-String ports are compatible with SRFI 6 rather than @rsixrs{}.
-@c cite{srfi6}
+String ports are compatible with SRFI 6 [@ref{srfi6}] rather than @rsixrs{}.
@item
@rsixrs{}-style bytevectors are included, but only the unsigned byte
(@code{u8}) procedures have been provided. The lexical syntax uses
-@code{#u8} for compatibility with SRFI 4, rather than the @rsixrs{}
+@code{#u8} for compatibility with SRFI 4 [@ref{srfi4}], rather than the @rsixrs{}
@code{#vu8} style.
-@c cite{srfi4}
@item
The utility macros @code{when} and @code{unless} are provided, but
diff --git a/doc/r7rs-small/lexical-conventions.texinfo b/doc/r7rs-small/lexical-conventions.texinfo
@@ -72,7 +72,7 @@ When an identifier appears as a literal or within a literal (see
@end itemize
-In contrast with earlier revisions of the report [20], the syntax
+In contrast with earlier revisions of the report [@ref{R5RS}], the syntax
distinguishes between upper and lower case in identifiers and in
characters specified using their names. However, it does not
distinguish between upper and lower case in numbers, nor in
diff --git a/doc/r7rs-small/macros.texinfo b/doc/r7rs-small/macros.texinfo
@@ -54,7 +54,8 @@ macro.
In consequence, all macros defined using the pattern language are
``hygienic'' and ``referentially transparent'' and thus preserve Scheme's
-lexical scoping. [21, 22, 2, 9, 12]
+lexical scoping. [@ref{Kohlbecker86}, @ref{hygienic}, @ref{Bawden88},
+@ref{macrosthatwork}, @ref{syntacticabstraction}]
Implementations may provide macro facilities of other types.
diff --git a/doc/r7rs-small/overview.texinfo b/doc/r7rs-small/overview.texinfo
@@ -186,7 +186,7 @@ does not say what value is returned.
Finally, the words and phrases ``must,'' ``must not,'' ``shall,''
``shall not,'' ``should,'' ``should not,'' ``may,'' ``required,''
``recommended,'' and ``optional,'' although not capitalized in this
-report, are to be interpreted as described in RFC 2119 [3]. They are
+report, are to be interpreted as described in RFC 2119 [@ref{rfc2119}]. They are
used only with reference to implementer or implementation behavior,
not with reference to programmer or program behavior.
diff --git a/doc/r7rs-small/procedures/characters.texinfo b/doc/r7rs-small/procedures/characters.texinfo
@@ -163,9 +163,8 @@ case-folding algorithm to its argument and returns the result. Note that
language-sensitive folding is not used. If the argument is an uppercase
letter, the result will be either a lowercase letter or the same as the
argument if the lowercase letter does not exist or is not supported
-by the implementation. See UAX #29 (part of the Unicode Standard)
+by the implementation. See UAX #29 [@ref{uax29}] (part of the Unicode Standard)
for details.
-@c cite{uax29}
Note that many Unicode lowercase characters do not have uppercase
equivalents.
diff --git a/doc/r7rs-small/procedures/numbers.texinfo b/doc/r7rs-small/procedures/numbers.texinfo
@@ -232,7 +232,7 @@ representation strategies for inexact numbers. This report recommends,
but does not require, that implementations that use floating-point
representations follow the IEEE 754 standard, and that implementations
using other representations should match or exceed the precision
-achievable using these floating-point standards [17]. In particular,
+achievable using these floating-point standards [@ref{IEEE}]. In particular,
the description of transcendental functions in IEEE 754-2008 should be
followed by such implementations, particularly with respect to infinities
and NaNs.
@@ -866,7 +866,7 @@ implementations that distinguish minus zero.
@minus{}@greekpi/2
@end multitable
-The above specification follows [34], which in turn cites [26]; refer
+The above specification follows [@ref{CLtL}], which in turn cites [@ref{Penfield81}]; refer
to these sources for more detailed discussion of branch cuts, boundary
conditions, and implementation of these functions. When it is possible,
these procedures produce a real result from a real argument.
@@ -1031,7 +1031,7 @@ If @var{z} is inexact, the radix is 10, and the above expression can be
satisfied by a result that contains a decimal point, then the result
contains a decimal point and is expressed using the minimum number
of digits (exclusive of exponent and trailing zeroes) needed to make
-the above expression true [4, 5]; otherwise the format of the result
+the above expression true [@ref{howtoprint}, @ref{howtoread}]; otherwise the format of the result
is unspecified.
The result returned by @code{number->string} never contains an explicit
diff --git a/doc/r7rs-small/procedures/strings.texinfo b/doc/r7rs-small/procedures/strings.texinfo
@@ -221,10 +221,10 @@ and foldings are not used.
The Unicode Standard prescribes special treatment of the Greek letter
@greekcapitalsigma{}, whose normal lower-case form is @greeksmallsigma{}
but which becomes @greekfinalsigma at the end of a word. See UAX #29
+[@ref{uax29}]
(part of the Unicode Standard) for details. However, implementations of
@code{string-downcase} are not required to provide this behavior, and may
choose to change @greekcapitalsigma{} to @greeksmallsigma{} in all cases.
-@c cite{uax29}
@end deffn
diff --git a/doc/r7rs-small/program-structure.texinfo b/doc/r7rs-small/program-structure.texinfo
@@ -569,7 +569,7 @@ by @code{(import (only (foo) b))} has the same effect as @code{(import
@subsection Library example
The following example shows how a program can be divided into libraries
-plus a relatively small main program [16]. If the main program is entered
+plus a relatively small main program [@ref{life}]. If the main program is entered
into a REPL, it is not necessary to import the base library.
@lisp
