[racket-dev] internal-definition parsing

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Thu Jul 8 12:25:34 EDT 2010

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

-- Matthias

Posted on the dev mailing list.