[racket-dev] internal-definition parsing

From: Joe Marshall (jmarshall at alum.mit.edu)
Date: Wed Oct 13 13:17:17 EDT 2010

On Wed, Oct 13, 2010 at 7:08 AM, Carl Eastlund <cce at ccs.neu.edu> wrote:
> In the case I have, though, I want the sequence to be empty.  The
> problem is that these bodies -- (let () ...), (parameterize () ...),
> etc. -- are used for a lot of different things.  A macro may splice in
> a sequence that is intended to represent definitions to bind in a
> scope, expressions to evaluate for effect, expressions to evaluate in
> order and return the last, mixed definitions and expressions, or
> perhaps some other odd interpretation of the body sequence.

This is the reason that I prefer a lot of lattitude in Scheme syntax.
There are forms that no human would write but that are marginally
legitimate and might be generated by a macro.  It is painful to try
to make every part of a complex macro expand into well-written


Posted on the dev mailing list.