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" <<a href="mailto:robby@eecs.northwestern.edu">robby@eecs.northwestern.edu</a>> 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 <<a href="mailto:samth@ccs.neu.edu">samth@ccs.neu.edu</a>> wrote: > > On Thu, Jun 23, 2011 at 9:51 PM, Robby Findler > > <<a href="mailto:robby@eecs.northwestern.edu">robby@eecs.northwestern.edu</a>> 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 > > <a href="mailto:samth@ccs.neu.edu">samth@ccs.neu.edu</a> > >