[racket] How to make an identifier that will have a certain binding no matter what phase level it's referenced at?

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Fri Jul 25 01:22:53 EDT 2014

At Thu, 24 Jul 2014 21:24:20 -0400, "Alexander D. Knauth" wrote:
> How can I make an identifier that will have a certain binding no matter what 
> phase level it's referenced at?

That's not currently possible.

> For example if I’m making a reader extension that will produce a lambda 
> expression, how do I make it so that the lambda expression will be able to 
> exist at any phase level?

I don't know. I've been offering elaborations of this problem --- the
question of expressive reader extensions --- as a potential research
topic to my students for many years. No takers, yet. :)



Posted on the users mailing list.