[racket-dev] Strange problem with `check-docs' and `#:use-sources'

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Sun Jun 26 18:49:16 EDT 2011

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)
(xref-binding->definition-tag xref
                              (list 'ts/racket 'x1)


On Sun, Jun 26, 2011 at 10:17 PM, Sam Tobin-Hochstadt <samth at 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
> samth at ccs.neu.edu

Posted on the dev mailing list.