Sam, The paragraph about syntax-local-lift-expression is referring to provide _pre_-transformers, not normal provide transformers. You need to use make-provide-pre-transformer, not make-provide-transformer. --Carl <div class="gmail_extra"> Carl Eastlund <div class="gmail_quote">On Fri, Nov 23, 2012 at 3:55 PM, Sam Vervaeck <<a href="mailto:vervaeck.sam@skynet.be" target="_blank">vervaeck.sam@skynet.be</a>> wrote: <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> <div link="blue" vlink="purple" lang="NL-BE"><div>Hi, I have a question relating to syntax-transformers. I’m trying to implement my own provide-syntax using make-provide-transformer. The documentation says that it should be possible to use syntax-local-lift-expression to dynamically insert new variables into the module and then export them (see link below), but I really don’t seem to get it working. A somewhat trivial example: (define-syntax one-two-three (make-provide-transformer (lambda (stx modes) (list (make-export (syntax-lift-expression #’1) ‘one #f #f stx) (make-export (syntax-lift-expression #’2) ‘two #f #f stx) (make-export (syntax-lift-expression #’3) ‘three #f #f stx))))) (povide (one-two-three)) Could you by any chance provide me with an example of how the two procedures can be used to achieve this? Greetings, Sam PS: I’m referring to paragraph two of <a href="http://docs.racket-lang.org/reference/stxtrans.html#%28tech._provide._transformer%29" target="_blank">http://docs.racket-lang.org/reference/stxtrans.html#(tech._provide._transformer)</a> </div></div> ____________________ Racket Users list: <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a> </blockquote></div> </div>