Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

implicit progns now marked typographically; explanation of nested bac…

…kquotes
  • Loading branch information...
commit 1e6166249670256cc6a3027fdc9973f9c803802b 1 parent 6b2316e
@trebb authored
View
3  TODO
@@ -1,8 +1,5 @@
* find bolder bold <, >, \, {, }
-* make a clean distinction between foo* being/not being implicit progn
-
-
* lower stars, mainly in variable names
View
26 clqr-clos.tex
@@ -80,21 +80,16 @@ \subsection{Classes}
Make \VAR{slot} in \retval{\VAR{instance}} unbound.
}
- \IT{(\MC*{WITH-SLOTS} (\Goos{\VAR{slot}\XOR(\VAR{var
- slot})}) \VAR{instance} \OPn{(\kwd{declare} \OPn{\NEV{\VAR{decl}}})}
- \OPn{\VAR{form}})}
- {
- Evaluate \VAR{form}s with slots of \VAR{instance} locally visible as
- \VAR{slot}s or \VAR{var}s.
- }
-
- \IT{(\MC*{WITH-ACCESSORS} (\OPn{(\NEV{\VAR{var}} \NEV{\VAR{accessor}})})
+ \IT{(\xorGOO{%
+ \MC*{WITH-SLOTS } (\Goos{\NEV{\VAR{slot}}\XOR(\NEV{\VAR{var}} \NEV{\VAR{slot}})})\\
+ \MC*{WITH-ACCESSORS } (\OPn{(\NEV{\VAR{var}}\text{ } \NEV{\VAR{accessor}})})}{\}}
\VAR{instance} \OPn{(\kwd{declare} \OPn{\NEV{\VAR{decl}}})}
- \OPn{\VAR{form}})}
+ \PROGN{\VAR{form}})}
{
- Evaluate \VAR{form}s with variables \VAR{var} locally bound to
- \VAR{accessor}s of \VAR{instance}.
- Return \retval{values of \VAR{form}s}.
+ Return \retval{values of \VAR{form}s} after evaluating them in a
+ lexical environment with slots of \VAR{instance} visible as
+ \kwd{setf}able \VAR{slot}s or \VAR{var}s/with \VAR{accessor}s of
+ \VAR{instance} visible as \kwd{setf}able \VAR{var}s.
}
\IT{(\GFU*{CLASS-NAME} \VAR{class})}
@@ -369,9 +364,10 @@ \subsection{Classes}
(\kwd{:generic-function} \VAR{ symbol})\\
\OPn{(\kwd{declare } \OPn{\NEV{\VAR{decl}}})}\\
\NEV{\VAR{doc}}}{\}}
- \OPn{\VAR{body}})}
+ \PROGN{\VAR{body}})}
{
- Long form. A call to a generic function using \VAR{c-type} will be
+ Long form. Define new method combination type
+ \retval{\VAR{c-type}}. A call to a generic function using \VAR{c-type} will be
equivalent to a call to the forms returned by \VAR{body}. Lambda
lists (\OPn{\VAR{ord-$\lambda$}}) and (\OPn{\VAR{method-combination-$\lambda$}})
according to \VAR{ord-$\lambda$} on p.\ \pageref{section:Functions}, the
View
8 clqr-compiler.tex
@@ -105,16 +105,16 @@ \subsection{Compilation}
\IT{(\SO*{EVAL-WHEN} (%
\orGOO{\Goo{\kwd{:compile-toplevel}\XOR\kwd{compile}}\\
\Goo{\kwd{:load-toplevel}\XOR\kwd{load}}\\
- \Goo{\kwd{:execute}\XOR\kwd{eval}}}{\}}) \OPn{\VAR{form}})}
+ \Goo{\kwd{:execute}\XOR\kwd{eval}}}{\}}) \PROGN{\VAR{form}})}
{
- Evaluate \VAR{form}s returning \retval{values of last \VAR{form}} if
+ Return \retval{values of \VAR{form}s} if
\SO{EVAL-WHEN} is in the top-level of a file being compiled, in the
top-level of a compiled file being loaded, or anywhere,
respectively. (\kwd{compile}, \kwd{load} and \kwd{eval} deprecated.)
}
\IT{(\MC*{WITH-COMPILATION-UNIT} (\Op{\kwd{:override}
- \VAR{bool}\DF{\NIL}}) \OPn{\VAR{form}})}
+ \VAR{bool}\DF{\NIL}}) \PROGN{\VAR{form}})}
{
Return \retval{values of \VAR{form}s}. Warnings deferred by the
compiler until end of compilation are deferred until the end of
@@ -253,7 +253,7 @@ \subsection{Compilation}
and \VAR{arg}s.
}
- \IT{(\MC*{TIME} \OPn{\VAR{form}})}
+ \IT{(\MC*{TIME} \VAR{form})}
{
Evaluate \VAR{form}s and print timing information to
\V{*trace-output*}. Return \retval{values of \VAR{form}s}.
View
26 clqr-conditions-and-errors.tex
@@ -86,9 +86,9 @@ \section{Conditions and Errors}
option. Return \retval{\NIL}.
}
- \IT{(\MC*{IGNORE-ERRORS} \OPn{\VAR{form}})}
+ \IT{(\MC*{IGNORE-ERRORS} \PROGN{\VAR{form}})}
{
- Return \retval{values of \VAR{form}s} as in \SO{progn} or, in case of \kwd{error}s,
+ Return \retval{values of \VAR{form}s} or, in case of \kwd{error}s,
\retval{\NIL} and the \retvalii{condition}.
}
@@ -128,18 +128,18 @@ \section{Conditions and Errors}
}
\IT{(\MC*{HANDLER-BIND} (\OPn{(\VAR{condition-type}
- \VAR{handler-function})}) \OPn{\VAR{form}})}
+ \VAR{handler-function})}) \PROGN{\VAR{form}})}
{
- Evaluate \VAR{form}s with \VAR{condition-type}s dynamically bound to
- their respective \VAR{handler-function}s of argument
- condition. Return \retval{values of \VAR{form}s}.
+ Return \retval{values of \VAR{form}s} after evaluating them with
+ \VAR{condition-type}s dynamically bound to their respective
+ \VAR{handler-function}s of argument condition.
}
\IT{(\MC*{WITH-SIMPLE-RESTART} (\VAR{restart} \VAR{control}
- \OPn{\VAR{arg}}) \OPn{\VAR{form}})}
+ \OPn{\VAR{arg}}) \PROGN{\VAR{form}})}
{
- If \VAR{restart} is not called from \VAR{form}s, return
- \retval{values of last \VAR{form}}. Otherwise describe restart using
+ Unless \VAR{restart} is called from \VAR{form}s, return
+ \retval{their values}. Otherwise describe restart using
\FU{format} \VAR{control} and \VAR{arg}s (see
p.\ \pageref{section:Format}) and return \retval{\NIL}
and \retvalii{\T}.
@@ -163,9 +163,9 @@ \section{Conditions and Errors}
\VAR{restart-function} \orGOO{\kwd{:interactive-function}
\VAR{ function}\\
\kwd{:report-function} \VAR{ function}\\
- \kwd{:test-function} \VAR{ function}}{\}})}) \OPn{\VAR{form}})}
+ \kwd{:test-function} \VAR{ function}}{\}})}) \PROGN{\VAR{form}})}
{
- Return \retval{value of \VAR{form}s} evaluated with \VAR{restart}s
+ Return \retval{values of \VAR{form}s} evaluated with \VAR{restart}s
dynamically bound to \VAR{restart-function}s.
}
@@ -206,11 +206,11 @@ \section{Conditions and Errors}
}
\IT{(\MC*{WITH-CONDITION-RESTARTS} \VAR{condition-form}
- \VAR{restarts-form} \OPn{\VAR{form}})}
+ \VAR{restarts-form} \PROGN{\VAR{form}})}
{
Evaluate \VAR{form}s with restarts yielded from \VAR{restarts-form}
dynamically associated with conditions yielded from
- \VAR{condition-form}. Return values of \VAR{form}s.
+ \VAR{condition-form}. Return \retval{values of \VAR{form}s}.
}
\begin{figure}
View
71 clqr-control-structure.tex
@@ -206,7 +206,7 @@ \subsection{Functions}
\MC*{LAMBDA}}{\}}
(\VAR{\OPn{ord-$\lambda$}}) \OPn{(\kwd{declare} \OPn{\NEV{\VAR{decl}}})}
\Op{\NEV{\VAR{doc}}}
- \OPn{\VAR{form}})}
+ \PROGN{\VAR{form}})}
{
Define function with name \retval{\VAR{foo}} or \retval{(\kwd{setf}
\VAR{foo})}, or an anonymous \retval{function}, respectively, which applies
@@ -219,8 +219,8 @@ \subsection{Functions}
(\OPn{\VAR{ord-$\lambda$}})
\OPn{(\kwd{declare} \OPn{\NEV{\VAR{local-decl}}})}%
\Op{\NEV{\VAR{doc}}}
- \OPn{\VAR{local-form}})}) \OPn{(\kwd{declare} \OPn{\NEV{\VAR{decl}}})}
- \OPn{\VAR{form}})}
+ \PROGN{\VAR{local-form}})}) \OPn{(\kwd{declare} \OPn{\NEV{\VAR{decl}}})}
+ \PROGN{\VAR{form}})}
{
Evaluate \VAR{form}s with
locally defined functions \VAR{foo}. Only for \SO{LABELS},
@@ -426,8 +426,8 @@ \subsection{Macros}
\IT{(\SO*{MACROLET} (\OPn{(\VAR{name} (\OPn{\VAR{macro-$\lambda$}})
\OPn{(\kwd{declare} \OPn{\NEV{\VAR{local-decl}}})}
- \Op{\NEV{\VAR{doc}}} \OPn{\VAR{macro-form}})}) \OPn{(\kwd{declare}
- \OPn{\NEV{\VAR{decl}}})} \OPn{\VAR{form}})}
+ \Op{\NEV{\VAR{doc}}} \PROGN{\VAR{macro-form}})}) \OPn{(\kwd{declare}
+ \OPn{\NEV{\VAR{decl}}})} \PROGN{\VAR{form}})}
{
Evaluate \retval{\VAR{form}s} with \VAR{name}s locally defined
as macros which are invisible to each other.
@@ -435,7 +435,7 @@ \subsection{Macros}
\IT{(\SO*{SYMBOL-MACROLET} (\OPn{(\VAR{name}
\VAR{expansion-form})}) \OPn{(\kwd{declare} \OPn{\NEV{\VAR{decl}}})}
- \OPn{\VAR{form}})}
+ \PROGN{\VAR{form}})}
{
Evaluate \retval{\VAR{form}s} with \VAR{name}s locally defined as
symbol-macros.
@@ -483,7 +483,7 @@ \subsection{Macros}
\IT{(\MC*{DEFINE-SETF-EXPANDER} \VAR{function} (\OPn{\VAR{macro-$\lambda$}})
\OPn{(\kwd{declare} \OPn{\NEV{\VAR{decl}}})} \Op{\NEV{\VAR{doc}}}
- \OPn{\VAR{form}})}
+ \PROGN{\VAR{form}})}
{
Specify how to \kwd{setf} a place accessed by
\retval{\VAR{function}}. On invocation of (\kwd{setf} (\VAR{function}
@@ -534,23 +534,23 @@ \subsection{Control Flow}
\retval{\VAR{else}} otherwise.
}
- \IT{(\MC*{COND} \OPn{(\VAR{test} \OPn{\VAR{then}}\DF{\VAR{test}})})}
+ \IT{(\MC*{COND} \OPn{(\VAR{test} \PROGN{\VAR{then}}\DF{\VAR{test}})})}
{
Return the \retval{values} of the first
- \VAR{then} whose \VAR{test} returns \T; return
+ \OPn{\VAR{then}} whose \VAR{test} returns \T; return
\retval{\NIL} if each \VAR{test} returns \NIL.
}
\IT{(\xorGOO{\MC*{WHEN}\\
\MC*{UNLESS}}{\}} \VAR{test}
- \OPn{\VAR{foo}}\DF{\NIL})}
+ \PROGN{\VAR{foo}}\DF{\NIL})}
{
- Evaluate \VAR{foo}s and return \retval{values of last \VAR{foo}} if
- \VAR{test} returns \T\ or \NIL, respectively. Return \retval{\NIL} otherwise.
+ Evaluate \VAR{foo}s and return \retval{their values} if \VAR{test}
+ returns \T\ or \NIL, respectively. Return \retval{\NIL} otherwise.
}
- \IT{(\MC*{CASE} \VAR{test} \OPn{(\NEV{\VAR{keys}} \OPn{\VAR{foo}})}
- \Op{(\Goo{\T\XOR\kwd*{OTHERWISE}} \OPn{\VAR{bar}})\DF{\NIL}})}
+ \IT{(\MC*{CASE} \VAR{test} \OPn{(\NEV{\VAR{keys}} \PROGN{\VAR{foo}})}
+ \Op{(\Goo{\T\XOR\kwd*{OTHERWISE}} \PROGN{\VAR{bar}})\DF{\NIL}})}
{
Evaluate first \VAR{foo}s one of whose \VAR{keys} is
\kwd{eql} \VAR{test} and return \retval{their values}.
@@ -558,7 +558,7 @@ \subsection{Control Flow}
}
\IT{(\Goo{\MC*{CCASE}\XOR\MC*{ECASE}} \VAR{test}
- \OPn{(\NEV{\VAR{keys}} \OPn{\VAR{foo}})})}
+ \OPn{(\NEV{\VAR{keys}} \PROGN{\VAR{foo}})})}
{
Evaluate first \VAR{foo}s one of whose \VAR{keys} is \kwd{eql}
\VAR{test} and return \retval{their values}. Signal correctable
@@ -582,8 +582,9 @@ \subsection{Control Flow}
}
\IT{(\SO*{PROGN} \OPn{\VAR{form}}\DF{\NIL})}
- {Evaluate \VAR{form}s sequentially. Return
- \retval{values of last \VAR{form}}.
+ {\label{:progn}
+ Evaluate \VAR{form}s sequentially. Return
+ \retval{values of last \VAR{form}}.
}
\IT{(\xorGOO{\MC*{PROG}\\
@@ -608,23 +609,24 @@ \subsection{Control Flow}
respectively, of \VAR{form-r}.
}
- \IT{(\SO*{PROGV} \VAR{symbols} \VAR{values} \OPn{\VAR{form}})}
+ \IT{(\SO*{PROGV} \VAR{symbols} \VAR{values} \PROGN{\VAR{form}})}
{
Evaluate \VAR{form}s with \VAR{symbols} dynamically bound to \VAR{values} or
- \NIL. Return \retval{values returned by \VAR{form}s}.
+ \NIL. Return \retval{values of \VAR{form}s}.
}
\IT{(\MC*{DESTRUCTURING-BIND} \VAR{foo} \VAR{bar} \OPn{(\kwd{declare}
- \OPn{\NEV{\VAR{decl}}})} \OPn{\VAR{form}})}
+ \OPn{\NEV{\VAR{decl}}})} \PROGN{\VAR{form}})}
{
- Evaluate \VAR{form}s, and return \retval{values of last \VAR{form}},
+ Evaluate \VAR{form}s and return \retval{their values},
with variables from tree \VAR{foo} bound to corresponding elements
of tree \VAR{bar}.
}
\IT{(\MC*{MULTIPLE-VALUE-BIND} (\OPn{\VAR{var}}) \VAR{values-form}
- \OPn{(\kwd{declare} \OPn{\NEV{\VAR{decl}}})} \OPn{\VAR{body-form}})}
- {Evaluate
+ \OPn{(\kwd{declare} \OPn{\NEV{\VAR{decl}}})} \PROGN{\VAR{body-form}})}
+ {
+ Evaluate
\VAR{body-form}s with \VAR{var}s bound to the return values of
\VAR{values-form}. Return \retval{values of \VAR{body-form}s}.
}
@@ -634,7 +636,7 @@ \subsection{Control Flow}
\orGOO{\VAR{name}\\
(\VAR{name }\Op{\VAR{value}})}{\}^{\!\!*}})
\OPn{(\kwd{declare} \OPn{\NEV{\VAR{decl}}})}
- \OPn{\VAR{form}})}
+ \PROGN{\VAR{form}})}
{
Evaluate \VAR{form}s with \VAR{name}s bound (in parallel or
sequentially, respectively) to \VAR{value}s or \NIL. Return
@@ -642,7 +644,7 @@ \subsection{Control Flow}
}
\IT{(\SO*{LOCALLY} \OPn{(\kwd{declare} \OPn{\NEV{\VAR{decl}}})}
- \OPn{\VAR{form}})}
+ \PROGN{\VAR{form}})}
{
Evaluate \VAR{form}s with declarations \VAR{decl} in
effect. Return \retval{values of \VAR{form}s}.
@@ -659,9 +661,10 @@ \subsection{Control Flow}
Have nearest enclosing block \NIL\ return with values of \VAR{result}.
}
- \IT{(\SO*{BLOCK} \VAR{name} \OPn{\VAR{form}})}
- {Evaluate \VAR{form}s returning
- \retval{values of last \VAR{form}} unless interrupted by \SO{RETURN-FROM}.
+ \IT{(\SO*{BLOCK} \VAR{name} \PROGN{\VAR{form}})}
+ {
+ Evaluate \VAR{form}s and return \retval{their values} unless
+ interrupted by \SO{RETURN-FROM}.
}
\IT{(\SO*{TAGBODY} \Goos{\NEV{\VAR{tag}}\XOR\VAR{form}})}
@@ -675,9 +678,10 @@ \subsection{Control Flow}
lexically enclosing \kwd{eql} \VAR{tag}.
}
- \IT{(\SO*{CATCH} \VAR{tag} \OPn{\VAR{form}})}
- {Evaluate \VAR{form}s returning
- \retval{values of last \VAR{form}} unless interrupted by \SO{THROW}.
+ \IT{(\SO*{CATCH} \VAR{tag} \PROGN{\VAR{form}})}
+ {
+ Evaluate \VAR{form}s and returning \retval{their values} unless
+ interrupted by \SO{THROW}.
}
\IT{(\SO*{THROW} \VAR{tag} \VAR{form})}
@@ -693,7 +697,6 @@ \subsection{Control Flow}
\end{LIST}
-
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\subsection{Iteration}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@@ -705,14 +708,14 @@ \subsection{Iteration}
(\orGOO{%
\VAR{var}\\
(\VAR{var } \OP{ \VAR{start } \Op{\VAR{step}}})}{\}^{\!\!*}})
- (\VAR{stop} \OPn{\VAR{result}})
+ (\VAR{stop} \PROGN{\VAR{result}})
\OPn{(\kwd{declare} \OPn{\NEV{\VAR{decl}}})}
\xorGOO{\NEV{\VAR{tag}}\\\VAR{form}}{\}^{\!\!*}})}
{
Evaluate \SO{TAGBODY}-like body with \VAR{var}s successively bound according
to the values of the corresponding \VAR{start} and \VAR{step}
forms. \VAR{var}s are bound in parallel/sequentially, respectively.
- Stop iteration when \VAR{stop} is \T. Return \retval{value of
+ Stop iteration when \VAR{stop} is \T. Return \retval{values of
last \VAR{result}}.
}
View
2  clqr-hash-tables.tex
@@ -67,7 +67,7 @@ \section{Hash Tables}
}
\IT{(\MC*{WITH-HASH-TABLE-ITERATOR} (\VAR{foo} \VAR{hash-table})
- \OPn{(\kwd{declare} \OPn{\NEV{\VAR{decl}}})} \OPn{\VAR{form}})}
+ \OPn{(\kwd{declare} \OPn{\NEV{\VAR{decl}}})} \PROGN{\VAR{form}})}
{
Return \retval{values of \VAR{form}s}. In \VAR{form}s,
invocations of (\VAR{foo}) return: \T\ if an entry is returned;
View
21 clqr-input-output.tex
@@ -268,8 +268,10 @@ \subsection{Reader}
\IT{\KWD*{`}(\Op{\VAR{foo}} \Op{\KWD*{,}\VAR{bar}} \Op{\KWD{,@}\VAR{baz}}
\Op{\KWD*{,.}\DES{\VAR{quux}}} \Op{\VAR{bing}})}
{\index{,"@}
- \SO{quote} \VAR{foo} and \VAR{bing}; evaluate \VAR{bar} and splice
- the lists \VAR{baz} and \VAR{quux} into their elements.
+ Backquote. \SO{quote} \VAR{foo} and \VAR{bing}; evaluate \VAR{bar}
+ and splice the lists \VAR{baz} and \VAR{quux} into their
+ elements. When nested, outermost commas inside the innermost
+ backquote expression belong to this backquote.
}
\IT{\KWD{\#\boldmath{$\backslash$}}\VAR{c}}
@@ -405,7 +407,7 @@ \subsection{Printer}
\IT{(\MC*{PRINT-UNREADABLE-OBJECT} (\VAR{foo} \DES{\VAR{stream}}
\orGOO{\kwd{:type } \VAR{bool}\\
\kwd{:identity } \VAR{bool}}{\}})
- \OPn{\VAR{form}})}
+ \PROGN{\VAR{form}})}
{
Enclosed in \kwd{\#\boldmath$<$} and \kwd{\boldmath$>$}, print
\VAR{foo} by means of \VAR{form}s to \VAR{stream}. Return \retval{\NIL}.
@@ -500,12 +502,13 @@ \subsection{Printer}
\orGOO{\xorGOO{\kwd{:prefix} \VAR{ prefix}\\
\kwd{:per-line-prefix} \VAR{ per-line-prefix}}{\}}\\
\kwd{:suffix} \VAR{ suffix}\DF{\LIT{""}}}{\}})
- \OPn{(\kwd{declare} \OPn{\NEV{\VAR{decl}}})} \OPn{\VAR{form}})}
+ \OPn{(\kwd{declare} \OPn{\NEV{\VAR{decl}}})} \PROGN{\VAR{form}})}
{
Evaluate \VAR{form}s, which should print \VAR{list}, with
\VAR{stream} locally bound to a pretty
printing stream which outputs to the original \VAR{stream}. If
- \VAR{list} is in fact not a list, it is printed by \FU{write}.
+ \VAR{list} is in fact not a list, it is printed by
+ \FU{write}. Return \retval{\NIL}.
}
\begin{LIST}{.5cm}
@@ -1047,7 +1050,7 @@ \subsection{Streams}
}
\IT{(\MC*{WITH-OPEN-STREAM} (\VAR{foo} \DES{\VAR{stream}})
- \OPn{(\kwd{declare} \OPn{\NEV{\VAR{decl}}})} \OPn{\VAR{form}})}
+ \OPn{(\kwd{declare} \OPn{\NEV{\VAR{decl}}})} \PROGN{\VAR{form}})}
{
Evaluate \VAR{form}s with \VAR{foo} locally bound to
\VAR{stream}. Return \retval{values of \VAR{form}s}.
@@ -1057,7 +1060,7 @@ \subsection{Streams}
\orGOO{\kwd{:index } \DES{\VAR{index}}\\
\kwd{:start} \VAR{ start}\\
\kwd{:end} \VAR{ end}}{\}}) \OPn{(\kwd{declare}
- \OPn{\NEV{\VAR{decl}}})} \OPn{\VAR{form}})}
+ \OPn{\NEV{\VAR{decl}}})} \PROGN{\VAR{form}})}
{
Evaluate \VAR{form}s with \VAR{foo} locally bound to input stream
from \VAR{string}. \VAR{index} contains the reading position in
@@ -1067,7 +1070,7 @@ \subsection{Streams}
\IT{(\MC*{WITH-OUTPUT-TO-STRING} (\VAR{foo}
\Op{\DES{\VAR{string}}\DF{\NIL}} \Op{\kwd{:element-type}
\VAR{type}\DF{\kwd{character}}}) \OPn{(\kwd{declare}
- \OPn{\NEV{\VAR{decl}}})} \OPn{\VAR{form}})}
+ \OPn{\NEV{\VAR{decl}}})} \PROGN{\VAR{form}})}
{
Evaluate \VAR{form}s with \VAR{foo} locally bound to output
stream. Append output to \VAR{string} and return \retval{values of
@@ -1267,7 +1270,7 @@ \subsection{Files}
\IT{(\MC*{WITH-OPEN-FILE} (\VAR{stream} \VAR{path}
\OPn{\VAR{open-arg}}) \OPn{(\kwd{declare} \OPn{\NEV{\VAR{decl}}})}
- \OPn{\VAR{form}})}
+ \PROGN{\VAR{form}})}
{
Use \FU*{OPEN} with \VAR{open-arg}s to temporarily
create \VAR{stream} to \VAR{path}; return \retval{values of \VAR{form}s}.
View
5 clqr-packages-and-symbols.tex
@@ -206,7 +206,7 @@ \subsection{Packages}
\IT{(\MC*{WITH-PACKAGE-ITERATOR} (\VAR{name} \VAR{packages}
\Op{\kwd{:internal}\XOR\kwd{:external}\XOR\kwd{:inherited}})
- \OPn{(\kwd{declare} \OPn{\NEV{\VAR{decl}}})} \OPn{\VAR{form}})}
+ \OPn{(\kwd{declare} \OPn{\NEV{\VAR{decl}}})} \PROGN{\VAR{form}})}
{
Return \retval{values of \VAR{form}s}. In \VAR{form}s, successive
invocations of (\VAR{name}) return: \T\ if a symbol is returned;
@@ -240,6 +240,7 @@ \subsection{Symbols}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{LIST}{1cm}
+%FIXME:EXPLAIN CONTENTS OF A SYMBOL
\IT{(\FU*{MAKE-SYMBOL} \VAR{name})}
{
Make fresh, uninterned \retval{symbol \VAR{name}}.
@@ -261,7 +262,7 @@ \subsection{Symbols}
\IT{(\FU*{COPY-SYMBOL} \VAR{symbol} \Op{\VAR{props}\DF{\NIL}})}
{
Return uninterned \retval{copy of \VAR{symbol}}. If \VAR{props} is
- \T, the copy has the same value, function and property list.
+ \T, give copy the same value, function and property list.
}
\IT{\arrGOO{(\FU*{SYMBOL-FUNCTION} \VAR{ symbol})\\
View
11 clqr-types-and-classes.tex
@@ -151,9 +151,9 @@ \section{Types and Classes}
Coerce \VAR{object} into \VAR{type}.
}
- \IT{(\MC*{TYPECASE} \VAR{foo} \OPn{(\NEV{\VAR{type}} \OPn{\VAR{a-form}})}
+ \IT{(\MC*{TYPECASE} \VAR{foo} \OPn{(\NEV{\VAR{type}} \PROGN{\VAR{a-form}})}
\OP{(\xorGOO{\kwd*{OTHERWISE}\\
- \T}{\}} \OPn{\VAR{b-form}\DF{\NIL}})})}
+ \T}{\}} \PROGN{\VAR{b-form}\DF{\NIL}})})}
{
Return \retval{values of the \VAR{a-form}s} whose \VAR{type} is
\VAR{foo} of. Return \retval{values of \VAR{b-form}s} if no
@@ -161,9 +161,10 @@ \section{Types and Classes}
}
\IT{(\xorGOO{\MC*{CTYPECASE}\\
- \MC*{ETYPECASE}}{\}} \VAR{foo} \OPn{(\NEV{\VAR{type}} \OPn{\VAR{form}\DF{\NIL}})})}
+ \MC*{ETYPECASE}}{\}} \VAR{foo} \OPn{(\NEV{\VAR{type}}
+ \PROGN{\VAR{form}\DF{\NIL}})})}
{
- Return \retval{value of the \VAR{form}s} whose \VAR{type} is
+ Return \retval{values of the \VAR{form}s} whose \VAR{type} is
\VAR{foo} of. Signal correctable/non-correctable error, respectively
if no \VAR{type} matches.
}
@@ -198,7 +199,7 @@ \section{Types and Classes}
\IT{(\MC*{DEFTYPE} \VAR{foo} (\OPn{\VAR{macro-$\lambda$}})
\OPn{(\kwd{declare} \OPn{\NEV{\VAR{decl}}})} \Op{\NEV{\VAR{doc}}}
- \OPn{\VAR{form}})}
+ \PROGN{\VAR{form}})}
{
Define type \retval{\VAR{foo}} which when referenced by (\VAR{foo}
\OPn{\NEV{\VAR{arg}}}) applies expanded \VAR{form}s to \VAR{arg}s
View
14 clqr-typographic-conventions.tex
@@ -78,20 +78,20 @@ \section*{Typographic Conventions}
Argument \VAR{bar} is possibly modified.
}
+ \IT{\PROGN{\VAR{foo}}}
+ {
+ \OPn{\VAR{foo}} is evaluated as an implicit \SO{progn}; see p.\ \pageref{:progn}.
+ }
+
\IT{\retval{\VAR{foo}}; \retvalii{\VAR{bar}};
\retvaln{\VAR{n}}{\VAR{baz}}}
{
First, second and \VAR{n}th return value.
}
- \IT{\T\qquad\qquad\qquad\qquad}
+ \IT{\T; \NIL\qquad\qquad\qquad}
{
- \kwd*{T}, or truth in general.
+ \kwd*{T}, or truth in general; and \kwd*{NIL} or \kwd{()}.
}
- \IT{\NIL\qquad\qquad\qquad}
- {
- \kwd*{NIL} or \kwd{()}.
- }
-
\end{LIST}
View
10 clqr.tex
@@ -189,13 +189,17 @@
% Required Parts, +
\newcommand{\RP}[1]{{{#1}\text{${}^{+}$}}}
%
-%
+% Implicit PROGN, *^progn
+\newcommand{\PROGN}[1]{{{#1}\text{${}^{*^{\hspace{-1.3ex}\text{\sffamily\mdseries\upshape
+ i--p}}}$}}}
+
% Group of Objects {}, three sizes
\newcommand{\GOO}[1]{{\text{$\Big\{$}{#1}\text{$\Big\}$}}}
\newcommand{\GOo}[1]{{\text{$\big\{$}{#1}\text{$\big\}$}}}
\newcommand{\Goo}[1]{{\text{$\{$}{#1}\text{$\}$}}}
% Optional Group of Objects, {}*, three sizes
-\newcommand{\GOOs}[1]{{$\Big\{${#1}$\Big\}^{\!\!*}$}}
+\newcommand{\GOOs}[1]{{$\Big\{${#1}$\Big\}^{\!\!*}$}} % this one can
+ % have line breaks
\newcommand{\GOos}[1]{\text{{$\big\{${#1}$\big\}^{\!\!*}$}}}
\newcommand{\Goos}[1]{\text{{$\{${#1}$\}^{\!*}$}}}
% Required Group of Objects, {}+, three sizes
@@ -459,7 +463,7 @@ \section*{\contentsname}
\vfill
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-%%% Content starts here %%%%%%%%%%%%%%%%%%%%%%%%%%
+%%% CONTENT STARTS HERE %%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\input{clqr-typographic-conventions}
Please sign in to comment.
Something went wrong with that request. Please try again.