Macro defining macro failure case

[shirok]

ER macro's rename procedure takes a quoted symbol. When the inner macro want to refer to the local variable introduced by outer macro, and that local variable is effectively renamed, it fails to do so, since quoting strips off the outer renaming info.

Example:

(define-syntax foo
  (syntax-rules ()
    [(_) (let ((vah 1))
           (let-syntax ([bar (er-macro-transformer
                              (^[f r c] (r'vah)))])
             (bar)))]))

The renaming info of outer vah is stripped when we pass 'var to the rename proc.

It works if two vahs are renamed at the same time, that is, both are syntax-rules transformer, or the inner macro doesn't use inner rename procedure but use the outer rename procedure. Typical use case can be covered by that. But that's not always the case.