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

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Fri Jun 24 22:01:15 EDT 2011

Thanks. I think that'll help us figure out where the problem is.

Robby

On Sat, Jun 25, 2011 at 9:54 AM, Sam Tobin-Hochstadt <samth at ccs.neu.edu> wrote:
> Ah, I see.  Well, that makes two of us.
>
> I'll try to make a small example collection.
>
> On Fri, Jun 24, 2011 at 9:46 PM, Robby Findler
> <robby at eecs.northwestern.edu> wrote:
>> What I meant is that I don't see what is wrong with your code, not
>> that I don't see check-docs complaining.
>>
>> On Sat, Jun 25, 2011 at 9:14 AM, Sam Tobin-Hochstadt <samth at ccs.neu.edu> wrote:
>>> 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
>>>> >
>>>
>>
>
>
>
> --
> sam th
> samth at ccs.neu.edu
>



Posted on the dev mailing list.