* eval.c (rest_s, op_s): New variables.

(do_eval_args): Allow calls specified by improper lists
like (x y . z) where the z expression must evaluate to a list
that turns into addition arguments to be applied.
(transform_op, expand_op): New static functions.
(expand): Call expand_op.
(eval_init): Initialize rest_s and op_s. Use rest_s
to register rest function.

* lib.c (gensym): New function based on gensymv.
(gensymv): Now calls gensym.

* lib.h (gensym): Declared.

* parser.l: Parse @ followed by digits as a new kind of token,
METANUM.

* parser.y (METANUM): New token.
(meta_expr, exprs): Missing rlcp's added.
(expr): METANUM variant introduced.
(yybadtoken): Handle METANUM.

* txr.1: Documented one-symbol argument list of lambda.
Documented op. Closed some unbalanced parentheses.

* txr.vim: Highlight op.

1 files changed, 8 insertions, 3 deletions

diff --git a/lib.c b/lib.c
index 0aedac3f..7e491c55 100644
--- a/lib.c
+++ b/lib.c
@@ -1929,15 +1929,20 @@ val make_sym(val name)
   return obj;
 }
 
-val gensymv(val args)
+val gensym(val prefix)
 {
-  uses_or2;
   gensym_counter = plus(gensym_counter, one);
-  val prefix = or2(car(args), lit("g"));
   val name = format(nil, lit("~a~,04a"), prefix, gensym_counter, nao);
   return make_sym(name);
 }
 
+val gensymv(val args)
+{
+  uses_or2;
+  val prefix = or2(car(args), lit("g"));
+  return gensym(prefix);
+}
+
 val make_package(val name)
 {
   if (find_package(name)) {