This is the mail archive of the
kawa@sourceware.org
mailing list for the Kawa project.
Re: unquote in quasisyntax
On 02/06/2012 02:13 PM, Jamison Hope wrote:
(define p (cons 4 5))
(define-syntax (pcar form)
(syntax-case form ()
(_ #'(car p))))
Aha, you want "identifier macros", like Dybvig's identifier-syntax
and make-variable-transformer. This feature is rather controversial,
but it is arguably part of "syntax-case" as a feature, and it appears
to be a R6RS feature if I understand make-variable-transformer correctly.
I haven't really looked into how difficult this would be to implement.
Specifically I don't know how deeply we'd have to dig into the macro
implementation (there be dragons ...). I don't think it's a trivial
feature, and other non-trivial features (including patterns) are
higher priority.
--
--Per Bothner
per@bothner.com http://per.bothner.com/