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

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Fri Jun 24 20:53:36 EDT 2011

I'm not seeing something wrong. Maybe it would help if you could make
a smaller example.


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

Posted on the dev mailing list.