<div dir="ltr">6.2 in the planet2 docs suggest something more complicated. Probably we want to follow that?<div><br></div><div style>But this idea seems to fit better to me!</div><div><br></div><div>Robby</div></div><div class="gmail_extra">
<br><br><div class="gmail_quote">On Sun, Feb 3, 2013 at 6:01 PM, Danny Yoo <span dir="ltr">&lt;<a href="mailto:dyoo@hashcollision.org" target="_blank">dyoo@hashcollision.org</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="im">On Sat, Feb 2, 2013 at 5:20 PM, Robby Findler<br>
&lt;<a href="mailto:robby@eecs.northwestern.edu">robby@eecs.northwestern.edu</a>&gt; wrote:<br>
&gt; The change to DrRacket that you suggest would have the effect of debugging<br>
&gt; annotations being forgotten for files that are already compiled by another<br>
&gt; route, so that seems wrong.<br>
<br>
</div>Ok, so I&#39;ll revert that particular change on my fork.<br>
<br>
<br>
But there&#39;s still the problem of DrRacket recompiling stuff in PLaneT2<br>
packages that it should not be touch.  Why?<br>
<br>
[reading... reading...]<br>
<br>
Ok, now I see.  DrRacket configures manager-skip-file-handler to<br>
whitelist all the things in (find-collects-dir) as well as the PLaneT1<br>
cache directory.  But this should be extended to include the PLaneT2<br>
directories too.  In general, the compilation manager should avoid<br>
anything in (find-system-path &#39;addon-dir).<br>
<br>
I&#39;ve done the following:<br>
<br>
 <a href="https://github.com/dyoo/racket/commit/b9c286e8eccb831ef7f5c2a95fe206b6031684e6" target="_blank">https://github.com/dyoo/racket/commit/b9c286e8eccb831ef7f5c2a95fe206b6031684e6</a><br>
<br>
<br>
How does this look?<br>
</blockquote></div><br></div>