Correct. I think planet just isn't for interactive use. Would it be possible to download the archive, unpack it, and use it as an interpreted thing, while compilation and docs are done in the background?
On May 2, 2010, at 10:58 PM, Robby Findler wrote: > "that" refers to the long installation time? > > Robby > > On Sun, May 2, 2010 at 9:25 PM, Matthias Felleisen <matth...@ccs.neu.edu> > wrote: >> >> [re-directed to proper list] >> >> That's why I am reluctant to use planet. >> >> >> On May 2, 2010, at 8:37 PM, Shriram Krishnamurthi wrote: >> >>> I ran >>> >>> #lang planet plai/plai:1:3 >>> >>> in a fresh DrScheme 4.2.5. It churned away for a long time, saying >>> just "PLaneT: Installing cce/scheme:4.1...". >>> >>> 1. During this time, the log showed that it was actually compiling and >>> re-building -- ie, it was unfairly ascribing work to a PLaneT package. >>> >>> 2. Even when it was done installing, it had the same message. That >>> is, it did not indicate completion. >>> >>> Should I be surprised? >>> >>> Shriram >> >> _________________________________________________ >> For list-related administrative tasks: >> http://list.cs.brown.edu/mailman/listinfo/plt-dev >> _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev