[racket-dev] internal-definition parsing

2010-07-07 Thread Matthew Flatt
Short version: I'm planning to change internal-definition expansion (anywhere that says `body ...' in the Racket documentation) to allow expressions to mingle with definitions. For example, (let () (define (f) x) (displayln f) (define x 1) (list f x)) would be allowed; the `dis

Re: [racket-dev] internal-definition parsing

2010-07-07 Thread Robby Findler
Yeah! (And I think you're right about not having an implicit #%body, but I don't really know for sure.) Robby On Wed, Jul 7, 2010 at 11:23 AM, Matthew Flatt wrote: > Short version: > > I'm planning to change internal-definition expansion (anywhere that > says `body ...' in the Racket documentat

Re: [racket-dev] internal-definition parsing

2010-07-07 Thread Matthias Felleisen
1. My most important concern is that begin-with-definitions takes Nx times more time to expand than the current body expander. Are you going to use this macro or are you going to bake it all into the implementation? 2. My second one is one of internal interest. In principle all 'body' forms s

Re: [racket-dev] internal-definition parsing

2010-07-07 Thread Matthew Flatt
At Wed, 7 Jul 2010 13:13:31 -0400, Matthias Felleisen wrote: > > 1. My most important concern is that begin-with-definitions takes Nx times > more time to expand than the current body expander. Are you going to use this > macro or are you going to bake it all into the implementation? The latte

Re: [racket-dev] proposal: `data' collection

2010-07-07 Thread Petey Aldous
That would be interesting and it would not be terribly difficult to instrument setup-plt to do it. I can't promise to have any time in the lab between now and the beginning of my time at the University of Utah, so if you'd like it done anytime soon, I won't be of much help. - Petey -Original

Re: [racket-dev] proposal: `data' collection

2010-07-07 Thread Eli Barzilay
On Jul 6, Petey Aldous wrote: > That would be interesting and it would not be terribly difficult to > instrument setup-plt to do it. There's no reason to do that -- the data is all there in the dep files. It just needs to be trimmed for the collection name instead of the full paths. I'm attachi

Re: [racket-dev] internal-definition parsing

2010-07-07 Thread Eli Barzilay
On Jul 7, Matthew Flatt wrote: > Short version: > > I'm planning to change internal-definition expansion (anywhere that > says `body ...' in the Racket documentation) to allow expressions to > mingle with definitions. For example, > [...] Nice! On Jul 7, Matthias Felleisen wrote: > > 4. I am