diff options
| author | Kaz Kylheku <kaz@kylheku.com> | 2016-12-13 20:44:23 -0800 |
|---|---|---|
| committer | Kaz Kylheku <kaz@kylheku.com> | 2016-12-13 20:44:23 -0800 |
| commit | 9ae286b5a405f52cd83a0d2f6f8ee348e86b824e (patch) | |
| tree | 93f618f4fb32b4224a873e8e94dc85020b4e34f8 /txr.1 | |
| parent | 4f0c5f1273cb756b886f3a63930e8aa8698aa5c2 (diff) | |
| download | txr-9ae286b5a405f52cd83a0d2f6f8ee348e86b824e.tar.gz txr-9ae286b5a405f52cd83a0d2f6f8ee348e86b824e.tar.bz2 txr-9ae286b5a405f52cd83a0d2f6f8ee348e86b824e.zip | |
Adding prog and prog* macros.
* lisplib.c (tagbody_set_entries): Add prog and prog* to
autoload list.
* share/txr/stdlib/tagbody.tl (prog, prog*): New macros.
* txr.1: Documented.
Diffstat (limited to 'txr.1')
| -rw-r--r-- | txr.1 | 65 |
1 files changed, 65 insertions, 0 deletions
@@ -14795,6 +14795,71 @@ characters are not supported. (prinl 'out)) .cble +.coNP Macros @ prog and @ prog* +.synb +.mets (prog >> ({ sym | >> ( sym << init-form )}*) +.mets \ \ >> { body-form | << label }*) +.mets (prog* >> ({ sym | >> ( sym << init-form )}*) +.mets \ \ >> { body-form | << label }*) +.syne +.desc +The +.code prog +and +.code progn* +macros combine the features of +.code let +and +.codn let* , +respectively, +anonymous block and +.codn tagbody . + +The +.code prog +macro treats the +.meta sym +and +.code init-form +expressions similarly to +.codn let , +establishing variable bindings in parallel. +The +.code prog* +macro treats these expressions in a similar way to +.codn let* . + +The forms enclosed are treated like the argument forms of the +.code tagbody +macro: labels are permitted, along with use of +.codn go . + +Finally, an anonymous block is established around all of the enclosed +forms (both the +.metn init-form -s +and +.metn body-forms -s) +allowing the use of +.code return +to terminate evaluation with a value. + +The +.code prog +macro may be understood according to the following equivalence: + +.cblk + (prog vars forms ...) <--> (block nil + (let vars + (tagbody forms ...))) +.cble + +Likewise, the +.code prog* +macro follows an analogous equivalence, with +.code let +replaced by +.codn let* . + .SS* Evaluation .coNP Function @ eval |