From 4f1eae99b6dd820a81b672e47f9eb34ecc0e2fce Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Thu, 13 Dec 2012 15:32:17 -0700
Subject: [PATCH] raco setup: fix problem with doc index database

When a tag is serializable but not `write'--`read' invariant,
then it needs to be serialized and deserialized.

Also, clarify and check in `tag?' that a tag should be
serializable.

original commit: 6eef00a31287fd88e1c93139dc5b6c1ab97f6da8
---
 collects/scribble/core.rkt               | 3 ++-
 collects/scribblings/scribble/core.scrbl | 5 +++--
 2 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/collects/scribble/core.rkt b/collects/scribble/core.rkt
index 109ccd43..07bbb99b 100644
--- a/collects/scribble/core.rkt
+++ b/collects/scribble/core.rkt
@@ -93,7 +93,8 @@
        (or (string? (cadr s))
            (generated-tag? (cadr s))
            (and (pair? (cadr s))
-                (list? (cadr s))))
+                (list? (cadr s))
+                (serializable? (cadr s))))
        (null? (cddr s))))
 
 (provide block?)
diff --git a/collects/scribblings/scribble/core.scrbl b/collects/scribblings/scribble/core.scrbl
index 0c03eb8c..29b2e727 100644
--- a/collects/scribblings/scribble/core.scrbl
+++ b/collects/scribblings/scribble/core.scrbl
@@ -3,6 +3,7 @@
           (except-in "utils.rkt" url)
           "struct-hierarchy.rkt" 
           (for-label scribble/manual-struct
+                     racket/serialize
                      file/convertible
                      setup/main-collects
                      scriblib/render-cond
@@ -1157,8 +1158,8 @@ or @racket[style] structure.}
 
 Returns @racket[#t] if @racket[v] is acceptable as a link
 @techlink{tag}, which is a list containing a symbol and either a
-string, a @racket[generated-tag] instance, or a list (of arbitrary
-values).}
+string, a @racket[generated-tag] instance, or a non-empty list
+of @racket[serializable?] values.}
 
 
 @defstruct[generated-tag ()]{