I'll try to make a small example collection.
Ok, I've narrowed the bug down. It's something with the use of
`defform*'. Attached is a patch that creates a `ts' collection. If
you apply it, and then do the following:
% raco setup ts
% cd collects/ts
% racket test-docs-complete.rkt
ts/scheme has undocumented exports:
(x1)
You see the problem. The relevant use of `defform*' is:
@defform*[#:id x1 [(qqq x1)]]
Basically any change to this removes the bug, for example, moving the
`qqq' *after* `x1' causes the bug to go away.
What should I run that's lower-level than `check-docs' to see if the
problem is there?
--
sam th
sa...@ccs.neu.edu
From 81b873954b0529decdddb23eb54ec2098d2a7f74 Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt sa...@racket-lang.org
Date: Sun, 26 Jun 2011 10:01:39 -0400
Subject: [PATCH] demo bug
---
collects/ts/b.rkt |5 +
collects/ts/doc.scrbl |8
collects/ts/info.rkt |2 ++
collects/ts/racket.rkt |3 +++
collects/ts/scheme.rkt |3 +++
collects/ts/test-docs-complete.rkt |4
6 files changed, 25 insertions(+), 0 deletions(-)
create mode 100644 collects/ts/b.rkt
create mode 100644 collects/ts/doc.scrbl
create mode 100644 collects/ts/info.rkt
create mode 100644 collects/ts/racket.rkt
create mode 100644 collects/ts/scheme.rkt
create mode 100644 collects/ts/test-docs-complete.rkt
diff --git a/collects/ts/b.rkt b/collects/ts/b.rkt
new file mode 100644
index 000..1d8da33
--- /dev/null
+++ b/collects/ts/b.rkt
@@ -0,0 +1,5 @@
+#lang racket/base
+(require (for-syntax racket/base))
+(define-syntax x1 #f)
+(define-syntax x2 #f)
+(provide (all-defined-out))
diff --git a/collects/ts/doc.scrbl b/collects/ts/doc.scrbl
new file mode 100644
index 000..0fecc26
--- /dev/null
+++ b/collects/ts/doc.scrbl
@@ -0,0 +1,8 @@
+#lang scribble/manual
+@(require (for-label ts/racket))
+@title{T}
+@(defmodulelang* (ts/racket) #:use-sources (ts/b))
+@defform*[#:id x1 [(qqq x1)]]
+@defform[(x2)]
+@section{S}
+@(defmodulelang* (ts/scheme) #:use-sources (ts/b))
diff --git a/collects/ts/info.rkt b/collects/ts/info.rkt
new file mode 100644
index 000..870d7a1
--- /dev/null
+++ b/collects/ts/info.rkt
@@ -0,0 +1,2 @@
+#lang setup/infotab
+(define scribblings '((doc.scrbl () (language
diff --git a/collects/ts/racket.rkt b/collects/ts/racket.rkt
new file mode 100644
index 000..e46bf95
--- /dev/null
+++ b/collects/ts/racket.rkt
@@ -0,0 +1,3 @@
+#lang racket
+(require ts/b)
+(provide (all-from-out ts/b))
diff --git a/collects/ts/scheme.rkt b/collects/ts/scheme.rkt
new file mode 100644
index 000..e46bf95
--- /dev/null
+++ b/collects/ts/scheme.rkt
@@ -0,0 +1,3 @@
+#lang racket
+(require ts/b)
+(provide (all-from-out ts/b))
diff --git a/collects/ts/test-docs-complete.rkt b/collects/ts/test-docs-complete.rkt
new file mode 100644
index 000..97fd52c
--- /dev/null
+++ b/collects/ts/test-docs-complete.rkt
@@ -0,0 +1,4 @@
+#lang racket/base
+(require rackunit/docs-complete)
+(check-docs (quote ts/scheme))
+(check-docs (quote ts/racket))
--
1.7.4.1
_
For list-related administrative tasks:
http://lists.racket-lang.org/listinfo/dev