At Sun, 4 Mar 2018 12:40:43 -0800, Alexis King wrote: > 2. Are there some fundamental, theoretical obstacles to making a > syntax class-like thing hygienic that I have not foreseen? Or would > it really be as simple as performing the usual scope-flipping that > macroexpansion already performs?
I think scope-flipping would work, but FWIW, I thought you were going a different direction here. The scope-flipping approach is a way to infer an intended scope dynamically. It sounds to me like you want something more static --- a way of applying a fresh scope to a textual region of syntax literals. An extreme end of that approach would be applying a fresh scope on the evaluation of each `quote-syntax` form (essentially as van Tonder explored), but it's possible that larger regions would work better. -- 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.