Re: [racket-dev] [plt] Push #27511: master branch updated

2013-09-16 Thread Asumu Takikawa
On 2013-09-16 16:17:33 -0400, as...@racket-lang.org wrote: > +@defmodule[math #:no-declare #:link-target? #f] > +@defmodule[plot/typed #:no-declare #:link-target? #f] These two lines cause `raco setup` to complain with a warning about undeclared dependencies. It seems silly, though, to have the TR

Re: [racket-dev] [plt] Push #27511: master branch updated

2013-09-16 Thread Robby Findler
Can that code not be moved into the relevant packages instead? Robby On Mon, Sep 16, 2013 at 3:21 PM, Asumu Takikawa wrote: > On 2013-09-16 16:17:33 -0400, as...@racket-lang.org wrote: > > +@defmodule[math #:no-declare #:link-target? #f] > > +@defmodule[plot/typed #:no-declare #:link-target? #

Re: [racket-dev] [plt] Push #27511: master branch updated

2013-09-16 Thread Carl Eastlund
Perhaps some macro hackery on the defmodule form to make it into defmodule-if-exists and only document that the module is typed if it is actually installed? Carl Eastlund On Mon, Sep 16, 2013 at 4:21 PM, Asumu Takikawa wrote: > On 2013-09-16 16:17:33 -0400, as...@racket-lang.org wrote: > > +@d

Re: [racket-dev] [plt] Push #27511: master branch updated

2013-09-16 Thread Sam Tobin-Hochstadt
I think what Carl suggested is preferable -- a link that only exists if the package it links to exists. Alternatively, a link that goes to the web if the package doesn't exist yet. I think the latter is planned but not yet implemented, from my recollection. Sam On Mon, Sep 16, 2013 at 5:41 PM,

Re: [racket-dev] [plt] Push #27511: master branch updated

2013-09-16 Thread Matthew Flatt
It's implemented, but it's not currently an option for `defmodule`. I'll look into adding the option. At Mon, 16 Sep 2013 17:49:27 -0400, Sam Tobin-Hochstadt wrote: > I think what Carl suggested is preferable -- a link that only exists > if the package it links to exists. Alternatively, a link th

Re: [racket-dev] [plt] Push #27511: master branch updated

2013-09-16 Thread Sam Tobin-Hochstadt
I think the Typed Racket docs should have pointers to how to use other libraries in a typed fashion -- it's a question that comes up a lot. Sam On Mon, Sep 16, 2013 at 5:16 PM, Robby Findler wrote: > Can that code not be moved into the relevant packages instead? > > Robby > > > On Mon, Sep 16, 2

Re: [racket-dev] [plt] Push #27511: master branch updated

2013-09-16 Thread Robby Findler
So you want scribble to generate a link that can, when clicked (or maybe when the docs are built) turn into the real link or turn into "please install package X"? Robby On Monday, September 16, 2013, Sam Tobin-Hochstadt wrote: > I think the Typed Racket docs should have pointers to how to use ot

Re: [racket-dev] [plt] Push #27511: master branch updated

2013-09-17 Thread Robby Findler
FWIW, this seems to have broken the snapshot builds. I'll add the missing dependency declarations so I can restart the northwestern snapshots. Also FWIW: WARNING: collected information for key multiple times: '(exporting-libraries #f); values: '(typed/srfi/14) '(typed/rackunit) WARNING: collected

Re: [racket-dev] [plt] Push #27511: master branch updated

2013-09-17 Thread Sam Tobin-Hochstadt
On Sep 17, 2013 4:38 AM, "Robby Findler" wrote: > > FWIW, this seems to have broken the snapshot builds. I'll add the missing dependency declarations so I can restart the northwestern snapshots. Is this a situation where we can make the builds more robust? Presumably this issue wouldn't have prev

Re: [racket-dev] [plt] Push #27511: master branch updated

2013-09-17 Thread Robby Findler
On Tue, Sep 17, 2013 at 6:14 AM, Sam Tobin-Hochstadt wrote: > > On Sep 17, 2013 4:38 AM, "Robby Findler" > wrote: > > > > FWIW, this seems to have broken the snapshot builds. I'll add the > missing dependency declarations so I can restart the northwestern snapshots. > > Is this a situation where

Re: [racket-dev] [plt] Push #27511: master branch updated

2013-09-17 Thread Matthew Flatt
At Tue, 17 Sep 2013 07:03:30 -0500, Robby Findler wrote: > On Tue, Sep 17, 2013 at 6:14 AM, Sam Tobin-Hochstadt > wrote: > > > > > On Sep 17, 2013 4:38 AM, "Robby Findler" > > wrote: > > > > > > FWIW, this seems to have broken the snapshot builds. I'll add the > > missing dependency declarations

Re: [racket-dev] [plt] Push #27511: master branch updated

2013-09-17 Thread Sam Tobin-Hochstadt
On Tue, Sep 17, 2013 at 8:03 AM, Robby Findler wrote: > > > > On Tue, Sep 17, 2013 at 6:14 AM, Sam Tobin-Hochstadt > wrote: >> >> >> On Sep 17, 2013 4:38 AM, "Robby Findler" >> wrote: >> > >> > FWIW, this seems to have broken the snapshot builds. I'll add the >> > missing dependency declarations

Re: [racket-dev] [plt] Push #27511: master branch updated

2013-09-17 Thread Asumu Takikawa
On 2013-09-17 06:15:42 -0600, Matthew Flatt wrote: > Yes, please treat missing package dependencies the same as any other > build error. Mistakes will happen, but they should be corrected as soon > as possible, even if it requires a stop-gap solution. Whoops, sorry for breaking the snapshots. I th

Re: [racket-dev] [plt] Push #27511: master branch updated

2013-09-17 Thread Sam Tobin-Hochstadt
On Tue, Sep 17, 2013 at 8:15 AM, Matthew Flatt wrote: > > In this particular case, if `raco setup` hadn't reported failure, the > builds might have hobbled along; I'm not sure. The snapshot build > generally relies on dependencies being accurate, and I don't think it's > worth thinking hard about

Re: [racket-dev] [plt] Push #27511: master branch updated

2013-09-17 Thread Matthew Flatt
At Tue, 17 Sep 2013 08:31:26 -0400, Sam Tobin-Hochstadt wrote: > On Tue, Sep 17, 2013 at 8:15 AM, Matthew Flatt wrote: > > > > In this particular case, if `raco setup` hadn't reported failure, the > > builds might have hobbled along; I'm not sure. The snapshot build > > generally relies on depende

Re: [racket-dev] [plt] Push #27511: master branch updated

2013-09-17 Thread Robby Findler
No problem. It was easy to tweak and re-run (and one lost day is not a big deal either). Robby On Tue, Sep 17, 2013 at 7:30 AM, Asumu Takikawa wrote: > On 2013-09-17 06:15:42 -0600, Matthew Flatt wrote: > > Yes, please treat missing package dependencies the same as any other > > build error. M

Re: [racket-dev] [plt] Push #27511: master branch updated

2013-09-17 Thread Robby Findler
On Tue, Sep 17, 2013 at 7:41 AM, Matthew Flatt wrote: > At Tue, 17 Sep 2013 08:31:26 -0400, Sam Tobin-Hochstadt wrote: > > On Tue, Sep 17, 2013 at 8:15 AM, Matthew Flatt > wrote: > > > > > > In this particular case, if `raco setup` hadn't reported failure, the > > > builds might have hobbled alo

Re: [racket-dev] [plt] Push #27511: master branch updated

2013-09-17 Thread Sam Tobin-Hochstadt
On Tue, Sep 17, 2013 at 7:14 AM, Sam Tobin-Hochstadt wrote: >> >> Also FWIW: >> >> WARNING: collected information for key multiple times: >> '(exporting-libraries #f); values: '(typed/srfi/14) '(typed/rackunit) >> WARNING: collected information for key multiple times: >> '(exporting-libraries #f);