Hi, The documentation of syntax-local-lift-require <https://docs.racket-lang.org/reference/stxtrans.html#(def._((quote._~23~25kernel)._syntax-local-lift-require))> says that "If raw-require-spec and stx are part of the input to a transformer, then typically syntax-local-introduce should be applied to each before passing them to syntax-local-lift-require, and then syntax-local-introduce should be applied to the result of syntax-local-lift-require. Otherwise, marks added by the macro expander can prevent access to the new imports." But the two applications of "syntax-local-introduce" to "stx" will just cancel each other, so what's the purpose of applying "syntax-local-introduce" to "stx"?
-- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/899fe849-2ade-480f-a457-efc7fac21c3cn%40googlegroups.com.

