[plt-scheme] full-expanded syntax and internal definitions

Dave Herman skrev:
>>> 3. It appears that "fully-expanded" does not necessarily mean that 
>>> all macro definitions are removed. Presumably this is because-- 
>>> thanks to the presence of local-expand-- more macro expansion may 
>>> occur on fully-expanded syntax?
>>
>> If the macro is exported from the module then the macro definition is
>> still needed.
> 
> This isn't true of local macro definitions, though, is it? 

No, so there no local macro definitions in fully expanded code.

/Jens Axel