summaryrefslogtreecommitdiffstats
path: root/txr.1
diff options
context:
space:
mode:
Diffstat (limited to 'txr.1')
-rw-r--r--txr.142
1 files changed, 26 insertions, 16 deletions
diff --git a/txr.1 b/txr.1
index 7526fea7..bdd6fa71 100644
--- a/txr.1
+++ b/txr.1
@@ -52862,27 +52862,27 @@ There is no way to use
.code op
to generate functions which have optional arguments. The positional
arguments are mutable; they may be assigned.
-.meIP < @rest
+.coIP @rest
If the meta-symbol
-.meta @rest
+.code @rest
appears in the
.code op
syntax as an expression, it explicitly denotes and evaluates to the list of
trailing arguments. Like the metanumber positional arguments, it
may be assigned.
-.meIP < @rec
+.coIP @rec
If the meta-symbol
-.meta @rec
+.code @rec
appears in the
.code op
syntax as an expression, it denotes a mutable variable which is bound to the
function itself which is generated by that
.code op
expression.
-.meIP >> @( rec ...)
+.coIP "@(rec ...)"
If this syntax appears inside
.codn op ,
-it specifies a recursive call the function.
+it specifies a recursive call to the function.
.RE
.IP
@@ -52890,14 +52890,16 @@ Functions generated by
.code op
are always variadic; they always take additional arguments after
any required ones, whether or not the
-.meta @rest
+.code @rest
syntax is used.
If the body does not contain
any
-.meta @num
+.mono
+.meti >> @ num
+.onom
or
-.meta @rest
+.code @rest
syntax, then
.code @rest
is implicitly inserted. What this means is that, for example, since
@@ -52913,11 +52915,13 @@ a function which applies
.code foo
to all of its arguments.
If the body does contain at least one
-.meta @num
+.mono
+.meti >> @ num
+.onom
or
-.metn @rest ,
+.codn @rest ,
then
-.meta @rest
+.code @rest
isn't implicitly inserted. The notation
.code "(op foo @1)"
denotes a function which takes any number of arguments, and ignores
@@ -53021,12 +53025,16 @@ symbols in the program.
.brev
Note that if argument
-.meta @n
+.mono
+.meti >> @ n
+.onom
appears in the syntax, it is not necessary
for arguments
-.meta @1
+.code @1
through
-.meta @n-1
+.mono
+.meti >> @ n-1
+.onom
to appear. The function will have
.code n
arguments:
@@ -53619,7 +53627,9 @@ and returns the value specified by
can contain
.code ap
meta syntax like
-.meta @n
+.mono
+.meti >> @ n
+.onom
and
.codn @rest .