From 26563ddcfc35d740c94028446f245491ae12c79b Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Thu, 4 Dec 2014 14:04:54 -0800 Subject: [PATCH] add txexpr-tags? --- main.rkt | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/main.rkt b/main.rkt index de06561..8c2b0a6 100644 --- a/main.rkt +++ b/main.rkt @@ -20,6 +20,11 @@ (any/c . -> . boolean?) (symbol? x)) +(define+provide+safe (txexpr-tags? x) + (any/c . -> . boolean?) + (and (list? x) (andmap txexpr-tag? x))) + + (define+provide+safe (txexpr-attr? x) (any/c . -> . boolean?) (match x