From e12036d7d6dd4404bd5fbbef7032d2abac7e24c0 Mon Sep 17 00:00:00 2001
From: Matthew Butterick <mb@mbtype.com>
Date: Thu, 13 Mar 2014 11:06:44 -0700
Subject: [PATCH] updates

---
 main.rkt                 |  8 ++++----
 scribblings/txexpr.scrbl | 17 +++++++++++++++++
 2 files changed, 21 insertions(+), 4 deletions(-)

diff --git a/main.rkt b/main.rkt
index 5767864..ada70f3 100644
--- a/main.rkt
+++ b/main.rkt
@@ -27,8 +27,8 @@
     [else #f]))
 
 
-(define+provide+safe (validate-txexpr-attrs? x #:context [txexpr-context #f])
-  ((any/c) (#:context (or/c #f txexpr?)) . ->* . txexpr-attrs?)
+(define (validate-txexpr-attrs? x #:context [txexpr-context #f])
+ ; ((any/c) (#:context (or/c #f txexpr?)) . ->* . txexpr-attrs?)
   (define (make-reason) 
     (if (not (list? x)) 
         (format "because ~v is not a list" x)
@@ -54,8 +54,8 @@
     [(list elem ...) (andmap txexpr-element? elem)]
     [else #f]))
 
-(define+provide+safe (validate-txexpr-element? x #:context [txexpr-context #f])
-  ((any/c) (#:context (or/c #f txexpr?)) . ->* . txexpr-element?)
+(define (validate-txexpr-element? x #:context [txexpr-context #f])
+ ; ((any/c) (#:context (or/c #f txexpr?)) . ->* . txexpr-element?)
   (cond
     [(or (string? x) (txexpr? x) (symbol? x)
          (valid-char? x) (cdata? x)) x]
diff --git a/scribblings/txexpr.scrbl b/scribblings/txexpr.scrbl
index e98b93b..26ba59c 100644
--- a/scribblings/txexpr.scrbl
+++ b/scribblings/txexpr.scrbl
@@ -146,6 +146,23 @@ boolean?]
 Shorthand for @code{(listof txexpr-attr?)} and @code{(listof txexpr-element?)}.
 
 
+@deftogether[(
+
+@defproc[
+(validate-txexpr?
+[possible-txexpr any/c])
+txexpr?]
+
+
+@defproc[
+(can-be-txexpr-attr-value?
+[v any/c])
+boolean?]
+)]
+Predicates for input arguments that are trivially converted to an attribute @racket[_key] or @racket[_value]…
+
+
+
 @deftogether[(
 
 @defproc[