[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]


>     I don't think that adding LOCALLY to the list of forms that must pass
>     top-level-ness through would be a problem.  I don't see any great need
>     to change it to be a special form, either.   ...
> If you don't make it a special form, then MACROEXPAND can change its semantics.
> [eg, if LOCALLY expands into LET, but LET is not something that works at toplevel.]
> Currently, I don't think that's permitted -- MACROEXPAND is normally a 
> semantics-preserving operation. I think Moon is right that adding LOCALLY to
> that list would seem to require that it be implemented as a special form.

An alternative would be to say that LET passes through "top-level-ness" when
its binding list is NIL.