>> 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 [email protected]
From 81b873954b0529decdddb23eb54ec2098d2a7f74 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt <[email protected]> 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 0000000..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 0000000..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 0000000..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 0000000..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 0000000..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 0000000..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
