I think I figured it out in case others are interested. See
https://gist.github.com/wluker/329f85ec193b386d89f618bd02796611


On Thu, Jan 31, 2019 at 4:50 PM Luke Whittlesey <luke.whittle...@gmail.com>
wrote:

> I see that there is the local-expand/capture-lifts and
> syntax-local-lift-expression for expressions, but is there a way to lift
> bindings as well? ... something akin to local-expand/capture-lift-defines
> maybe ...
>
> Basically I want to rewrite a syntax so any (MyDefine ...) is lifted into
> a definition context. Something like..
> (let ()
>   (list (begin (MyDefine a 0) 1) a))
> .. into ..
> (let ()
>   (define a 0)
>   (list 1 a))
>
> I have a fuzzy idea a solution might involve
> syntax-local-make-definition-context, but all my attempts have failed thus
> far. Could anybody give me some hints as to how something like this might
> be accomplished?
>

-- 
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.
For more options, visit https://groups.google.com/d/optout.

Reply via email to