[racket-dev] internal-definition parsing

From: Eli Barzilay (eli at barzilay.org)
Date: Thu Jul 8 14:01:26 EDT 2010

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 #%...-begin macro: 
>  are-you-top-level? :: (U false (interface Provides Requires))

(It could also be an argument for making local requires more

          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                    http://barzilay.org/                   Maze is Life!

Posted on the dev mailing list.