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 racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/899fe849-2ade-480f-a457-efc7fac21c3cn%40googlegroups.com.
