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

What's wrong is that for typed/scheme check-docs thinks that -> is
undocumented, even though it's able to find the docs for the same
identifier  provided from typed/racket.

It's the same problem as with with-handlers, but if appears not to have the
same cause.

On Jun 24, 2011 8:53 PM, "Robby Findler" <robby at eecs.northwestern.edu>
wrote:
>
> I'm not seeing something wrong. Maybe it would help if you could make
> a smaller example.
>
> Robby
>
> On Sat, Jun 25, 2011 at 8:15 AM, Sam Tobin-Hochstadt <samth at ccs.neu.edu>
wrote:
> > On Thu, Jun 23, 2011 at 9:51 PM, Robby Findler
> > <robby at eecs.northwestern.edu> wrote:
> >>
> >> So I think the fix is to do the renaming for with-handlers before it
> >> gets exported from typed-scheme/base-env/prims (or introduce another
> >> module and put that one in the #:use-sources and use it as the one
> >> where the re-providing is happening).
> >
> > Ok, I did this, and it worked nicely.  Thanks!
> >
> > Unfortunately, the issue with `->' seems to be different.  In
> > particular, `->' in `typed/scheme' and in `typed/racket' are both
> > defined in "typed-scheme/base-env/base-types-extra.rkt", under the
> > name `->', and it isn't renamed in between.  Other identifiers, such
> > as `U', are defined in the same place, and treated identically, but
> > the docs for `U' work just fine.
> > --
> > sam th
> > samth at ccs.neu.edu
> >
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/dev/archive/attachments/20110624/70a9f4a8/attachment.html>