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

2011-06-23 Thread Robby Findler
On Fri, Jun 24, 2011 at 9:27 AM, Sam Tobin-Hochstadt wrote: > On Thu, Jun 23, 2011 at 9:19 PM, Robby Findler > wrote: >> On Fri, Jun 24, 2011 at 8:58 AM, Sam Tobin-Hochstadt >> wrote: >>> >>> On Jun 23, 2011 6:39 PM, "Robby Findler" >>> wrote: I think I'd need to actually look at the

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

2011-06-23 Thread Sam Tobin-Hochstadt
On Thu, Jun 23, 2011 at 9:19 PM, Robby Findler wrote: > On Fri, Jun 24, 2011 at 8:58 AM, Sam Tobin-Hochstadt > wrote: >> >> On Jun 23, 2011 6:39 PM, "Robby Findler" >> wrote: >>> >>> I think I'd need to actually look at the code next. I didn't seem to >>> find it, tho; can you give me a pointer

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

2011-06-23 Thread Robby Findler
On Fri, Jun 24, 2011 at 8:58 AM, Sam Tobin-Hochstadt wrote: > > On Jun 23, 2011 6:39 PM, "Robby Findler" > wrote: >> >> I think I'd need to actually look at the code next. I didn't seem to >> find it, tho; can you give me a pointer? > > It should be in 'collects/typed-scheme/scribblings/ts-refere

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

2011-06-23 Thread Sam Tobin-Hochstadt
On Jun 23, 2011 6:39 PM, "Robby Findler" wrote: > > I think I'd need to actually look at the code next. I didn't seem to > find it, tho; can you give me a pointer? It should be in 'collects/typed-scheme/scribblings/ts-reference.scrbl' for typed/racket and 'collects/typed-scheme/scribblings/refere

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

2011-06-23 Thread Robby Findler
I think I'd need to actually look at the code next. I didn't seem to find it, tho; can you give me a pointer? Thanks, Robby _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev

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

2011-06-23 Thread Sam Tobin-Hochstadt
On Jun 23, 2011 6:17 PM, "Robby Findler" wrote: > > Is the with-handlers that typed/racket exports the same identifier as > the one exported by racket, or is it a different binding? 'with-handlers' in 'typed/racket' is a different binding. Basically, it just adds some annotations to help the typ

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

2011-06-23 Thread Robby Findler
Is the with-handlers that typed/racket exports the same identifier as the one exported by racket, or is it a different binding? Robby On Fri, Jun 24, 2011 at 2:46 AM, Sam Tobin-Hochstadt wrote: > On Wed, Jun 22, 2011 at 6:53 PM, Robby Findler > wrote: >> To really know what is going on, one has

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

2011-06-23 Thread Sam Tobin-Hochstadt
On Wed, Jun 22, 2011 at 6:53 PM, Robby Findler wrote: > To really know what is going on, one has to trace thru the re-provides > for each of these identifiers and match them up to the > declare-exporting declarations. > > In the declaration below, you're essentially saying "any identifiers > docum