[racket-dev] internal-definition parsing

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
accessible...)

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