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 <sa...@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 > <ro...@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 <sa...@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" <ro...@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 <sa...@ccs.neu.edu> >>>> wrote: >>>> > On Thu, Jun 23, 2011 at 9:51 PM, Robby Findler >>>> > <ro...@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 >>>> > sa...@ccs.neu.edu >>>> > >>> >> > > > > -- > sam th > sa...@ccs.neu.edu > _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
