Re: [racket-dev] A grab-bag of issues

2013-07-05 Thread Robby Findler
Okay, I finished doing some timing. The results suggest that the currently pushed version is probably the right thing (but for most cases, it would be fine to delete that code). Here are the numbers. With just 'time raco setup', after deleting all .zo files. with pre-compilation of 'racket' vs wi

Re: [racket-dev] A grab-bag of issues

2013-07-05 Thread Eli Barzilay
A few minutes ago, Matthew Flatt wrote: > At Fri, 5 Jul 2013 18:55:32 -0400, Eli Barzilay wrote: > > Yesterday, Matthew Flatt wrote: > > > At Thu, 4 Jul 2013 12:52:10 -0400, Sam Tobin-Hochstadt wrote: > > > > > > > 2. It's possible to get lots of undefined tags in the documentation > > > > builds.

Re: [racket-dev] A grab-bag of issues

2013-07-05 Thread Robby Findler
On Fri, Jul 5, 2013 at 6:38 PM, Matthew Flatt wrote: > At Fri, 5 Jul 2013 18:55:32 -0400, Eli Barzilay wrote: > > Yesterday, Matthew Flatt wrote: > > > At Thu, 4 Jul 2013 12:52:10 -0400, Sam Tobin-Hochstadt wrote: > > > > > > > 2. It's possible to get lots of undefined tags in the documentation >

Re: [racket-dev] A grab-bag of issues

2013-07-05 Thread Matthew Flatt
At Fri, 5 Jul 2013 18:55:32 -0400, Eli Barzilay wrote: > Yesterday, Matthew Flatt wrote: > > At Thu, 4 Jul 2013 12:52:10 -0400, Sam Tobin-Hochstadt wrote: > > > > > 2. It's possible to get lots of undefined tags in the documentation > > > builds. Should this be remedied with more build dependenci

Re: [racket-dev] A grab-bag of issues

2013-07-05 Thread Eli Barzilay
Yesterday, Matthew Flatt wrote: > At Thu, 4 Jul 2013 12:52:10 -0400, Sam Tobin-Hochstadt wrote: > > > 2. It's possible to get lots of undefined tags in the documentation > > builds. Should this be remedied with more build dependencies, or > > will it be fixed with the online documentation server,

Re: [racket-dev] A grab-bag of issues

2013-07-05 Thread Matthew Flatt
At Fri, 5 Jul 2013 10:58:39 -0500, Robby Findler wrote: > On Thu, Jul 4, 2013 at 12:05 PM, Matthew Flatt wrote: > > > At Thu, 4 Jul 2013 12:52:10 -0400, Sam Tobin-Hochstadt wrote: > > > All of these are about packages/the new repository organization. > > > > > > 0. I think we should have a new `#

Re: [racket-dev] A grab-bag of issues

2013-07-05 Thread Matthew Flatt
I'll adjust the default Makefile target so that if CPUS= is provided, then it recurs with both `-j ' and `PLT_SETUP_OPTIONS="-j ".' At Fri, 5 Jul 2013 11:12:23 -0500, Robby Findler wrote: > You could set PLT_SETUP_OPTIONS to "-j ". > > Robby > > > On Fri, Jul 5, 2013 at 11:07 AM, Sam Tobin-Hoch

Re: [racket-dev] A grab-bag of issues

2013-07-05 Thread Robby Findler
You could set PLT_SETUP_OPTIONS to "-j ". Robby On Fri, Jul 5, 2013 at 11:07 AM, Sam Tobin-Hochstadt wrote: > On Fri, Jul 5, 2013 at 11:22 AM, Matthew Flatt wrote: > > > >> * Similarly, that build shows that Racket detects itself as having > >> many more CPUs than it actually has. > > > > On L

Re: [racket-dev] A grab-bag of issues

2013-07-05 Thread Sam Tobin-Hochstadt
On Fri, Jul 5, 2013 at 11:22 AM, Matthew Flatt wrote: > >> * Similarly, that build shows that Racket detects itself as having >> many more CPUs than it actually has. > > On Linux, the processor count comes from sysconf(_SC_NPROCESSORS_ONLN). > Should Racket use something else? I talked to the Tra

Re: [racket-dev] A grab-bag of issues

2013-07-05 Thread Robby Findler
On Thu, Jul 4, 2013 at 12:05 PM, Matthew Flatt wrote: > At Thu, 4 Jul 2013 12:52:10 -0400, Sam Tobin-Hochstadt wrote: > > All of these are about packages/the new repository organization. > > > > 0. I think we should have a new `#lang info` for info.rkt files -- > > `setup/infotab` seems pretty ar

Re: [racket-dev] A grab-bag of issues

2013-07-05 Thread Matthew Flatt
At Thu, 4 Jul 2013 16:51:13 -0400, Sam Tobin-Hochstadt wrote: > On Thu, Jul 4, 2013 at 1:05 PM, Matthew Flatt wrote: > > At Thu, 4 Jul 2013 12:52:10 -0400, Sam Tobin-Hochstadt wrote: > >> 3. Rerunning `make` at the top-level loses the old set of PKGS > >> specified. Should there be a `configure`

Re: [racket-dev] A grab-bag of issues

2013-07-04 Thread Sam Tobin-Hochstadt
On Thu, Jul 4, 2013 at 1:05 PM, Matthew Flatt wrote: > At Thu, 4 Jul 2013 12:52:10 -0400, Sam Tobin-Hochstadt wrote: >> All of these are about packages/the new repository organization. >> >> 0. I think we should have a new `#lang info` for info.rkt files -- >> `setup/infotab` seems pretty arbitrar

Re: [racket-dev] A grab-bag of issues

2013-07-04 Thread Matthew Flatt
In case you wonder about other issues already on my list, in no particular order: * Add `filesystem-change-evt' to decrease the cost of module-name resolution via link files. * Fix `pkg update' to setup anything that depends on updated packages. * Fix absolute paths (used to be "collects"-

Re: [racket-dev] A grab-bag of issues

2013-07-04 Thread Matthew Flatt
At Thu, 4 Jul 2013 12:52:10 -0400, Sam Tobin-Hochstadt wrote: > All of these are about packages/the new repository organization. > > 0. I think we should have a new `#lang info` for info.rkt files -- > `setup/infotab` seems pretty arbitrary. I'll do this if no one > objects. That sounds fine to