<div dir="ltr">Oh: one other gotcha to watch out for. When Racket compiles a file to .zo, it discards source location information in syntax object templates. This means that these trick also won&#39;t work in that case. It is possible to preserve this syntax location information.<div>
<br></div><div style>... long story short: various things in our macro infrastructure do not combine well with Redex&#39;s style of typesetting (specifically the source-location using aspect of it). At least you can avoid this one by just not compiling your files.</div>
<div style><br></div><div style>(Unfortunately this means that writing this up in the docs as an example gets pretty complex.)</div><div style><br></div><div style>Robby</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">
On Tue, Jun 4, 2013 at 1:53 PM, Lindsey Kuper <span dir="ltr">&lt;<a href="mailto:lkuper@cs.indiana.edu" target="_blank">lkuper@cs.indiana.edu</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
On Mon, Jun 3, 2013 at 11:29 PM, Robby Findler<br>
&lt;<a href="mailto:robby@eecs.northwestern.edu">robby@eecs.northwestern.edu</a>&gt; wrote:<br>
&gt; I&#39;ve written three little examples [...]<br>
<br>
Thanks, Robby, this is an enormous help.  I&#39;ll play with these and see<br>
what can be done.<br>
<span class="HOEnZb"><font color="#888888"><br>
Lindsey<br>
</font></span></blockquote></div><br></div>