My understanding of local-expand from the documentation is that when the stop-list is not #f that sub-expressions will be expanded but I can't seem to get this to happen.
#lang racket (define-syntax-rule (bar x) (+ x 1)) (define-syntax (foo stx) (syntax-case stx () [(_ expr) (printf "~a\n" (syntax->datum (local-expand #'expr 'expression (list #'+)))) #'1])) (foo (let () (bar 8))) (foo (bar 8)) -- Prints (let-values () (bar 8)) (+ 8 1) Shouldn't the (bar 8) in the let-values be expanded? ____________________ Racket Users list: http://lists.racket-lang.org/users