I need a function that macroexpands locally-defined macros (via MACROLET)
-- is there some way to do this in plain CL? If not, has anyone hacked such a
tool in KCL? Am I right in thinking that the optional environment to
MACROEXPAND is the way to go? Can the PCL portable code-walker be used
to do this? If so, how?
Thank you, and have a nice day.
--eliot
In article <····@idunno.Princeton.EDU>, ·····@phoenix.Princeton.EDU
(Eliot Handelman) writes:
> I need a function that macroexpands locally-defined macros (via MACROLET)
> -- is there some way to do this in plain CL? If not, has anyone hacked
such a
> tool in KCL? Am I right in thinking that the optional environment to
> MACROEXPAND is the way to go?
Yes, according to CLtL. But how do you get the Lisp object representing
an environment?
In article <····@pasteur.Berkeley.EDU> ········@fir.Berkeley.EDU (Vance Maverick) writes:
>In article <····@idunno.Princeton.EDU>, ·····@phoenix.Princeton.EDU
>(Eliot Handelman) writes:
>> I need a function that macroexpands locally-defined macros (via MACROLET)
>> -- is there some way to do this in plain CL? If not, has anyone hacked
>such a
>> tool in KCL? Am I right in thinking that the optional environment to
>> MACROEXPAND is the way to go?
>
>Yes, according to CLtL. But how do you get the Lisp object representing
>an environment?
By using the &environment argument to macros.
Tim Moore ·····@cs.utah.edu {bellcore,hplabs}!utah-cs!moore
"Ah, youth. Ah, statute of limitations."
-John Waters
In article <·····················@hellgate.utah.edu> ··················@cs.utah.edu (Tim Moore) writes:
;In article <····@pasteur.Berkeley.EDU> ········@fir.Berkeley.EDU (Vance Maverick) writes:
;>In article <····@idunno.Princeton.EDU>, ·····@phoenix.Princeton.EDU
;>(Eliot Handelman) writes:
;>> I need a function that macroexpands locally-defined macros (via MACROLET)
;>> -- is there some way to do this in plain CL? If not, has anyone hacked
;>such a
;>> tool in KCL? Am I right in thinking that the optional environment to
;>> MACROEXPAND is the way to go?
;>
;>Yes, according to CLtL. But how do you get the Lisp object representing
;>an environment?
;
;By using the &environment argument to macros.
In answer to my own question, a function containing macrolets can be
expanded using the pcl portable code walker like this (as pointed out
to me by Chris Richardson of Franz):
(pcl::walk-form form)
As someone else mentioned, you want to use the CL code walker
distributed with PCL. You can FTP all of PCL from arisia.xerox.com. It
is in the /pcl directory. The file you really want is walk.lisp, and
there is some documentation there about how to use it.
In a recent (I forget which) issue of Lisp Pointers, Pavel Curtis wrote
had an article describing the issues involved in walking CL code, and
how (a conceptually cleaned up) version of the PCL code walker worked.