Мне нужно заменить все вхождения (g param) на (begin (display "g: ") (display 'param) param)
Причём в выражении произвольной вложенности, например в
(let [(x 1)] (g x))
Все остальные выражения должны остаться без изменений.
Сделал такой макрос:
(define-syntax g-processor
(syntax-rules (g)
[(_ (g x)) (begin (display "g: ") (display 'x) (newline) x)]
[(_ (x . y)) ((g-processor x) . (g-processor y))]
[(_ x) x]))
Но он не работает. Например:
(g-processor (+ 1)) -> ((g-processor +) . (g-processor (1)) -> (+ . (g-processor (1))) == (+ g-procesor (1)), и здесь, конечно, всё стопорится,
потому что g-processor не в позиции применения, и получается invalid syntax.
По идее должно быть просто — прогуляться по двоичному дереву и заменить все вхождения (g x) на нужное выражение, но не получается.
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.