From: Bert Burgemeister Date: Thu, 5 Apr 2012 10:54:38 +0000 (+0200) Subject: Move entries on let etc. to section Variables X-Git-Tag: 134^0 X-Git-Url: https://repo.or.cz/w/clqr.git/commitdiff_plain/d7999fc9629fdeece02e5eca422480bb98af3494 Move entries on let etc. to section Variables --- diff --git a/clqr-control-structure.tex b/clqr-control-structure.tex index aeacb17..7c36228 100644 --- a/clqr-control-structure.tex +++ b/clqr-control-structure.tex @@ -166,9 +166,49 @@ \IT{\arrGOO{(\FU*{REMPROP } \DES{\VAR{symbol}} \VAR{ key})\\ (\MC*{REMF } \DES{\VAR{place}} \VAR{ key})}{.}} { - Remove first entry \VAR{key} from property list stored in - \VAR{symbol}/in \VAR{place}, respectively. Return \retval{\T} if \VAR{key} - was there, or \retval{\NIL} otherwise. + Remove first entry \VAR{key} from property list stored in + \VAR{symbol}/in \VAR{place}, respectively. Return \retval{\T} if \VAR{key} + was there, or \retval{\NIL} otherwise. + } + + \IT{(\SO*{PROGV} \VAR{symbols} \VAR{values} \PROGN{\VAR{form}})} + { + Evaluate \VAR{form}s with locally established dynamic bindings of + \VAR{symbols} to \VAR{values} or \NIL. Return \retval{values of + \VAR{form}s}. + } + + \IT{(\xorGOO{% + \SO*{LET}\\ + \SO*{LET\A}}{\}} (% + \orGOO{\VAR{name}\\ + (\VAR{name }\Op{\VAR{value}\DF{\NIL}})}{\}^{\!\!*}}) + \OPn{(\kwd{declare} \OPn{\NEV{\VAR{decl}}})} + \PROGN{\VAR{form}})} + { + Evaluate \VAR{form}s with \VAR{name}s lexically bound (in parallel or + sequentially, respectively) to \VAR{value}s. Return + \retval{values of \VAR{form}s}. + } + + \IT{(\MC*{MULTIPLE-VALUE-BIND} (\OPn{\NEV{\VAR{var}}}) \VAR{values-form} + \OPn{(\kwd{declare} \OPn{\NEV{\VAR{decl}}})} \PROGN{\VAR{body-form}})} + { + Evaluate \VAR{body-form}s with \VAR{var}s lexically bound to the + return values of \VAR{values-form}. Return \retval{values of + \VAR{body-form}s}. + } + + \IT{(\MC*{DESTRUCTURING-BIND} \VAR{destruct-$\lambda$} \VAR{bar} + \OPn{(\kwd{declare} + \OPn{\NEV{\VAR{decl}}})} \PROGN{\VAR{form}})} + { + Evaluate \VAR{form}s with variables from tree + \VAR{destruct-$\lambda$} bound to corresponding elements of tree + \VAR{bar}, and return \retval{their + values}. \VAR{destruct-$\lambda$} resembles \VAR{macro-$\lambda$} + (section \ref{section:Macros}), but without any \kwd{\&environment} + clause. } \end{LIST} @@ -662,18 +702,6 @@ respectively, of \VAR{form-r}. } - \IT{(\xorGOO{\SO*{LET}\\ - \SO*{LET\A}}{\}} (% - \orGOO{\VAR{name}\\ - (\VAR{name }\Op{\VAR{value}\DF{\NIL}})}{\}^{\!\!*}}) - \OPn{(\kwd{declare} \OPn{\NEV{\VAR{decl}}})} - \PROGN{\VAR{form}})} - { - Evaluate \VAR{form}s with \VAR{name}s lexically bound (in parallel or - sequentially, respectively) to \VAR{value}s. Return - \retval{values of \VAR{form}s}. - } - \IT{(\xorGOO{\MC*{PROG}\\ \MC*{PROG\A}}{\}} (\orGOO{% @@ -688,13 +716,6 @@ Implicitly, the whole form is a \SO{block} named \NIL. } - \IT{(\SO*{PROGV} \VAR{symbols} \VAR{values} \PROGN{\VAR{form}})} - { - Evaluate \VAR{form}s with locally established dynamic bindings of - \VAR{symbols} to \VAR{values} or \NIL. Return \retval{values of - \VAR{form}s}. - } - \IT{(\SO*{UNWIND-PROTECT} \VAR{protected} \OPn{\VAR{cleanup}})} { Evaluate \VAR{protected} and then, no matter how control leaves @@ -702,26 +723,6 @@ \VAR{protected}}. } - \IT{(\MC*{DESTRUCTURING-BIND} \VAR{destruct-$\lambda$} \VAR{bar} - \OPn{(\kwd{declare} - \OPn{\NEV{\VAR{decl}}})} \PROGN{\VAR{form}})} - { - Evaluate \VAR{form}s with variables from tree - \VAR{destruct-$\lambda$} bound to corresponding elements of tree - \VAR{bar}, and return \retval{their - values}. \VAR{destruct-$\lambda$} resembles \VAR{macro-$\lambda$} - (section \ref{section:Macros}), but without any \kwd{\&environment} - clause. - } - - \IT{(\MC*{MULTIPLE-VALUE-BIND} (\OPn{\NEV{\VAR{var}}}) \VAR{values-form} - \OPn{(\kwd{declare} \OPn{\NEV{\VAR{decl}}})} \PROGN{\VAR{body-form}})} - { - Evaluate \VAR{body-form}s with \VAR{var}s lexically bound to the - return values of \VAR{values-form}. Return \retval{values of - \VAR{body-form}s}. - } - \IT{(\SO*{BLOCK} \VAR{name} \PROGN{\VAR{form}})} { Evaluate \VAR{form}s in a lexical environment, and