0. #lang racket
1.  
2. (define-syntax a-new-form
3.   (lambda (stx)
4.     (printf "syntax = ~a\n" (syntax->datum stx))
5.     (syntax "this-is-transformed-result")))
6.  
7. (define-syntax trampoline-to-a-new-form
8.   (lambda (stx)
9.     (printf "trampoline!")
10.     (syntax (a-new-form 'from-trampoline))))
11.  
12. (a-new-form A #x0B 'C "D")
13.  
14. trampoline-to-a-new-form
15.  
16. #|
17. 從 S-expression `parse'/`expand'
18. 到 compiled form 的同時做 macro expansion
19.  
20. (這裡以後用將 parse, macro expansion 以及 compile 都暫時看成同一件事)
21.  
22. 在 parse 時, 如果一個 form 裡面的 identifier 解析後指到普通的
23. value binding, 結果是普通變數的 (compiled) AST representation
24.  
25. 若指到一個 transformer binding, 則此 binding 應該要綁定一個
26. closure. 當前到這個 form 的 AST 會被傳給 closure,
27. 然後 closure 的結果會插入到原 AST 位置. 新的 AST 會重新被 parse
28. |#

=>

syntax = (a-new-form A 11 (quote C) D)

"this-is-transformed-result"

trampoline!syntax = (a-new-form (quote from-trampoline))

"this-is-transformed-result"