I'll try to make a small example collection.
Ok, I've narrowed the bug down. It's something with the use of
`defform*'. Attached is a patch that creates a `ts' collection. If
you apply it, and then do the following:
% raco setup ts
% cd collects/ts
% racket test-docs-complete.rkt
ts/scheme
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
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
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
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
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,
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
On Wed, Jun 22, 2011 at 6:53 PM, Robby Findler
ro...@eecs.northwestern.edu 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
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 sa...@ccs.neu.edu wrote:
On Wed, Jun 22, 2011 at 6:53 PM, Robby Findler
ro...@eecs.northwestern.edu wrote:
On Jun 23, 2011 6:17 PM, Robby Findler ro...@eecs.northwestern.edu
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
On Jun 23, 2011 6:39 PM, Robby Findler ro...@eecs.northwestern.edu
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
On Fri, Jun 24, 2011 at 8:58 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote:
On Jun 23, 2011 6:39 PM, Robby Findler ro...@eecs.northwestern.edu
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
On Thu, Jun 23, 2011 at 9:19 PM, Robby Findler
ro...@eecs.northwestern.edu wrote:
On Fri, Jun 24, 2011 at 8:58 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu
wrote:
On Jun 23, 2011 6:39 PM, Robby Findler ro...@eecs.northwestern.edu
wrote:
I think I'd need to actually look at the code next. I
On Fri, Jun 24, 2011 at 9:27 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote:
On Thu, Jun 23, 2011 at 9:19 PM, Robby Findler
ro...@eecs.northwestern.edu wrote:
On Fri, Jun 24, 2011 at 8:58 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu
wrote:
On Jun 23, 2011 6:39 PM, Robby Findler
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
documented in this module should appear to come from the
15 matches
Mail list logo
