Есть макрос раскрывающийся в окружение с локальным макросом, определяемым macrolet-ом. Последний раскрывает код вроде:
`(,a ,b)
Только ,a должен подставить первый макрос, а ,b - локальный.
Код вроде такого:
(let ((x ...))
`(macrolet ((m (y)
`(,x ,y)))
...))
Такое можно описать с backquote синтаксисом?