awk: relax restriction on :name.

* share/txr/stdlib/awk.tl (sys:awk-expander): Do not impose
stricter restrictions on :name than the block mechanism
itself.

* txr.1: Documentation updated.

1 files changed, 0 insertions, 4 deletions

diff --git a/share/txr/stdlib/awk.tl b/share/txr/stdlib/awk.tl
index d92bfea8..6c85cb77 100644
--- a/share/txr/stdlib/awk.tl
+++ b/share/txr/stdlib/awk.tl
@@ -314,10 +314,6 @@
                                    (awk-error "duplicate :name clauses"))
                                  (when (or (atom actions) (cdr actions))
                                    (awk-error "bad :name syntax"))
-                                 (unless (car actions)
-                                   (awk-error "null :name not permitted"))
-                                 (unless (symbolp (car actions))
-                                   (awk-error ":name must be a symbol"))
                                  (set awc.name (car actions)))
                                (:let (push actions awc.lets))
                                (:begin (push actions awc.begin-actions))