40 minutes ago, Eli Barzilay wrote:
JFYI, there is no github mirroring ATM. I don't know when I'll be
able to get it working again.
So here are the details: the first push that was done today (I think
it was Kevin's) had some problem in the step where it mirrors to
github. I first didn't pay
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
7 matches
Mail list logo
