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

From: Sam Tobin-Hochstadt (samth at ccs.neu.edu)
Date: Wed Jun 22 15:16:12 EDT 2011

Currently, the documentation completeness checker (a wonderful tool;
thanks, Robby!) for Typed Racket complains that `->' and
`with-handlers' are not documented when provided from `typed/scheme',
`typed/scheme/base', and `typed-scheme'.  However, these identifiers
are fine when provided from `typed/racket', and are both defined in
modules where `check-docs' finds the documentation for other things
just fine, such as `define:' and `All'.  The documentation looks like

(declare-exporting typed/scheme/base typed/scheme typed-scheme

where `->' is defined in `typed-scheme/base-env/base-types-extra' and
`with-handlers' is defined in `typed-scheme/base-env/prims'.

Is there something else I should be doing here?  Is there a bug in
sam th
samth at ccs.neu.edu

Posted on the dev mailing list.