構文パラメータは構文パターン変数を指していますか？

Question

別の識別子の別名としてp挙動構文パラメータようsyntax-parameterizeは一般make-rename-transformerと組み合わせて使用​​されている：tmpはletによって結合識別子であるとして上記のコードは、うまく機能

#lang racket 

(require racket/stxparam) 
(define-syntax-parameter p #f) 

(define-syntax (test-1-p stx) 
    (syntax-case stx() 
    [(_ body) 
    #'(let ([tmp 123]) 
     (syntax-parameterize ([p (make-rename-transformer #'tmp)]) 
      body))])) 
(test-1-p p) ;; prints 123 

。しかし、もし私が期待通りにpwith-syntaxに縛らパターン変数tmpの別名、それが動作しないようにしよう：

#lang racket 

(require racket/stxparam) 
(define-syntax-parameter p #f) 

(define-syntax (test-2-p stx) 
    (syntax-case stx() 
    [(_ body) 
    #'(with-syntax ([tmp #'(foo 123)]) 
     (syntax-parameterize ([p (make-rename-transformer #'tmp)]) 
      body))])) 
(test-2-p #'p) ;; gives #'p, instead of #'(foo 123) 

代わりに私がp-unhygienic構文を宣言し、(make-rename-transformer #'tmp)にバインドした場合、それは動作しますfine：

#lang racket 

(define-syntax (test-3-p stx) 
    (syntax-case stx() 
    [(_ body) 
    #`(with-syntax ([tmp #'(foo 123)]) 
     (define-syntax #,(syntax-local-introduce #'p-unhygienic) 
      (make-rename-transformer #'tmp)) 
     body)])) 
(test-3-p #'p-unhygienic) ;; gives #'(foo 123), as expected 

syntax-parameterizeを使用してパターン変数の衛生エイリアスを作成するにはどうすればよいですか？

Answer 1

これは興味深いケースですが、同じことを期待していました。これはどこかのバグか制限のどちらかです。よく分かりません。いずれにしても、回避策としてdefine-rename-transformer-parameterフォームが提供されています。

rename-transformer-parameterの初期値は名前変更トランスでなければなりません。という識別子を#fに使用することができます。文脈では

(define-syntax p-init #f) 
(define-rename-transformer-parameter p (make-rename-transformer #'p-init)) 

：それは* *制限ですが

#lang racket 

(require racket/stxparam) 
(define-syntax p-init #f) 
(define-rename-transformer-parameter p (make-rename-transformer #'p-init)) 

(define-syntax (test-2-p stx) 
    (syntax-case stx() 
    [(_ body) 
    #'(with-syntax ([tmp #'(foo 123)]) 
     (syntax-parameterize ([p (make-rename-transformer #'tmp)]) 
      body))])) 
(test-2-p #'p) ; #<syntax:10:28 (foo 123)>