[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
- To: Gregor.pa@XEROX.COM
- Subject: Re: symbol-macrolet
- From: Patrick H Dussud <DUSSUD%jenner.csc.ti.com@RELAY.CS.NET>
- Date: Mon, 23 Nov 87 11:17:57 CST
- Cc: common-lisp-object-system@SAIL.STANFORD.EDU
- In-reply-to: Msg of Fri, 20 Nov 87 14:54 PST from Gregor.email@example.com
I suppose we should say explicitly that the symbol macros are recorded
in the macroexpansion environment so that macroexpand-1 of a symbol
which is a symbol-macro will expand it.
In the text in my draft, this would correspond to including something
like the following in remarks.
Within the body of symbol-macrolet the macroexpansion environment is
augmented to include a symbol-macro definition for the symbol. When
given the symbol and the environment as arguments, macroexpand-1 will
return the expansion. This means that a macro which appears in the
scope of symbol-macrolet can use macroexpand-1 to determine whether or
not a symbol names a symbol macro; this is particularly useful for
macros which want to determine whether or not their argument is a
It sounds good.