With the setup you've put into that patch, this file demonstrates the problem at the next lower layer. The first call to xref-binding->definition-tag returns #f, but it should return something similar to the second one, I believe.
#lang racket/base (require setup/xref scribble/xref) (define xref (load-collections-xref)) (xref-binding->definition-tag xref (list 'ts/scheme 'x1) #f) (xref-binding->definition-tag xref (list 'ts/racket 'x1) #f) Robby On Sun, Jun 26, 2011 at 10:17 PM, Sam Tobin-Hochstadt <sa...@ccs.neu.edu> wrote: >>> 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 > _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev