Re: [racket-dev] internal-definition parsing

2010-07-08 Thread Matthias Felleisen
On Jul 7, 2010, at 5:55 PM, Eli Barzilay wrote: Some examples that show how useful this is: * In the lazy language you want the implicit begin to force all expressions except for the last one. * I've redefined the implicit begin (in an ugly way) for my course language to force

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

2010-07-08 Thread Matthias Felleisen
This sounds like we should give up on stratification. On Jul 7, 2010, at 5:21 PM, Eli Barzilay wrote: 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

Re: [racket-dev] internal-definition parsing

2010-07-08 Thread Jay McCarthy
On Thu, Jul 8, 2010 at 11:19 AM, Matthias Felleisen matth...@ccs.neu.edu wrote: On Jul 7, 2010, at 5:55 PM, Eli Barzilay wrote: Some examples that show how useful this is:  * In the lazy language you want the implicit begin to force all    expressions except for the last one.  * I've

Re: [racket-dev] internal-definition parsing

2010-07-08 Thread Matthias Felleisen
On Jul 8, 2010, at 12:09 PM, Jay McCarthy wrote: #%module-begin as the top level controlling macro is a distinguishing feature. Requires and provides can only be there and you know there's only one application. These could be an argument to the #%...-begin macro: are-you-top-level? :: (U

Re: [racket-dev] internal-definition parsing

2010-07-08 Thread Eli Barzilay
On Jul 8, Matthias Felleisen wrote: 2. I do not understand why #%body isn't enough. Couldn't #%body locally expand to the point where defs and exps are distinguished? Yes, it could -- and I guess that would be in analogy to `#%module-begin'. But I generally don't like that macros

Re: [racket-dev] internal-definition parsing

2010-07-08 Thread Eli Barzilay
On Jul 8, Matthias Felleisen wrote: On Jul 8, 2010, at 12:09 PM, Jay McCarthy wrote: #%module-begin as the top level controlling macro is a distinguishing feature. Requires and provides can only be there and you know there's only one application. These could be an argument to the