workaround limitation in syntax system related to nested marks

svn: r8969
This commit is contained in:
Matthew Flatt 2008-03-14 00:37:19 +00:00
parent 421706a042
commit a8ae46ba34

View File

@ -66,9 +66,9 @@
"This expander only works with the match.ss library."))
(let* ([introducer (make-syntax-introducer)]
[certifier (match-expander-certifier expander)]
[mstx (introducer stx)]
[mstx (introducer (syntax-local-introduce stx))]
[mresult (transformer mstx)]
[result (introducer mresult)]
[result (syntax-local-introduce (introducer mresult))]
[cert* (lambda (id) (certifier (cert id) #f introducer))])
(observe-step stx mstx mresult result)
(simplify result cert*)))]