Re: [Gcl-devel] Re: SYMBOL-MACROLET problem

[Peter Wood]

On Tue, Oct 29, 2002 at 09:12:25PM -0600, Paul F. Dietz wrote:
> Camm Maguire wrote:
> 
>   GCL currently does macroexpansion in C.  Can you
>   elaborate a little on your suggestion below to implement this "at the
>   same place" as ordinary macroexpansion?  Is there some sort of subtle
>   interplay between symbol-macrolet and macroexpand?  From your note,
>   and what I read in the spec, my current understanding is that what
>   this should do is simply go through the code as a list, make all
>   substitutions not shadowed by an internal let, and then pass the
>   result out for normal evaluation.  I must confess that my grasp on
>   lisp evaluation is still rather primitive, however.
> 
> Symbol macroexpansion should be done at the same time as ordinary
> macroexpansion.
> 
> There should be a routine in gcl's guts that implements macroexpansion
> at a form.  It dispatches off the car of a list, doing an expansion
> if that car is a symbol that has a macro binding in the current environment
> (which means basically it was defined with defmacro or an enclosing
> macrolet).
> 

Hi

I'd just like to note that SYMBOL-MACROLET is a special operator in an
ansi system.

Regards,
Peter