<HTML><BODY>Maybe via "<a name="(part._cross-phase._persistent-grammar)"></a>Cross-Phase Persistent Module Declarations" <a href="http://docs.racket-lang.org/reference/syntax-model.html#%28part._cross-phase._persistent-grammar%29">http://docs.racket-lang.org/reference/syntax-model.html#%28part._cross-phase._persistent-grammar%29</a> ?<br><br><br>Thu, 24 Jul 2014 21:24:20 -0400 от "Alexander D. Knauth" <alexander@knauth.org>:<br>
<blockquote style="margin: 10px; padding: 0px 0px 0px 10px; border-left-color: rgb(8, 87, 166); border-left-width: 1px; border-left-style: solid;">
<div>
<div class="js-helper js-readmsg-msg">
<style type="text/css"></style>
<div>
<base href="https://e.mail.ru/" target="_self">
<div id="style_14062520820000000591_BODY">How can I make an identifier that will have a certain binding no matter what phase level it's referenced at?<div><br></div><div>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?</div><div><br></div><div>For example this program using #lang rackjure doesn’t work:</div><div><div><font face="Courier New">#lang rackjure</font></div><div><font face="Courier New">(require (for-meta 1 racket/base)</font></div><div><font face="Courier New"> (for-meta 2 racket/base)</font></div><div><font face="Courier New"> (for-meta 3 racket/base)</font></div><div><font face="Courier New"> (for-meta 4 racket/base)</font></div><div><font face="Courier New"> )</font></div><div><font face="Courier New"> </font></div><div><font face="Courier New">#λ(* 2 %) ; works, produces approx. (lambda (%) (* 2 %))</font></div><div><font face="Courier New">(begin-for-syntax</font></div><div><font face="Courier New"> (begin-for-syntax</font></div><div><font face="Courier New"> #λ(* 2 %) ; lambda: unbound identifier at phase 2;</font></div><div><font face="Courier New"> ; ; also, no #%app syntax transformer is bound in: lambda</font></div><div><font face="Courier New"> ))</font></div></div><div><br></div><div>Is there any way to construct an identifier that would be bound to lambda from racket/base no matter what phase level it’s used in?</div><div><br></div><div><br></div>
</div>
<div>____________________<br>
Racket Users list:<br>
<a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
<br>
</div>
<base href="https://e.mail.ru/" target="_self">
</div>
</div>
</div>
</blockquote>
<br>
<br>-- <br>Roman Klochkov<br></BODY></HTML>