<div dir="ltr">Thanks. I&#39;ve pushed a fix for this. And the other error you mention (&quot;+: contract violation ...&quot;), I believe I fixed on 4/25, but it has not made it into a release yet. You might want to try one of the snapshot builds:<div>
<br></div><div>  <a href="http://www.cs.utah.edu/plt/snapshots/">http://www.cs.utah.edu/plt/snapshots/</a></div><div>  <a href="http://plt.eecs.northwestern.edu/snapshots/">http://plt.eecs.northwestern.edu/snapshots/</a></div>
<div><br></div><div>Also, assuming I pushed the right fix, you seem to be using a development link with planet? Let me encourage you to give the package manager a try -- it is still under construction, but we expect it to eventually subsume planet.</div>
<div><br></div><div>Robby</div><div><br></div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Sat, Aug 10, 2013 at 3:01 PM, Roman Klochkov <span dir="ltr">&lt;<a href="mailto:kalimehtar@mail.ru" target="_blank">kalimehtar@mail.ru</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div><a href="https://github.com/Kalimehtar/Racket-gir/blob/master/manual.scrbl" target="_blank">https://github.com/Kalimehtar/Racket-gir/blob/master/manual.scrbl</a><br><br><br>Суббота, 10 августа 2013, 14:55 -05:00 от Robby Findler &lt;<a href="mailto:robby@eecs.northwestern.edu" target="_blank">robby@eecs.northwestern.edu</a>&gt;:<div>
<div class="h5"><br>
<blockquote style="border-left-width:1px;border-left-style:solid;border-left-color:rgb(8,87,166);margin-top:10px;margin-right:10px;margin-bottom:10px;margin-left:10px;padding-top:0px;padding-right:0px;padding-bottom:0px;padding-left:10px">

        <div>
        



    






        

        
        
        
        
        

        



<div>
        
        <div>
                
                
                        <div>Can you post an example file that has this problem, please?<div><br></div><div>Thanks,</div><div>Robby<span></span><br><br>On Saturday, August 10, 2013, Roman Klochkov  wrote:<br><blockquote style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">


<div><br>Error text is: <br>open-output-file: forbidden (write) access to /home/monk/.racket/planet/300/5.3.5/.LOCKHARD-LINKS<br><br>/home/monk is my home directory.<br><br>It appears when I edit .scrbl file. I can make html or check syntax, no errors. But background check gives this error.<br>

I checked the file: it created by DrRacket (I delete it, then start drracket, it appears). So drracket can write to the file. <br><br>Please help<br><br>-- <br>Roman Klochkov</div>
</blockquote></div>

</div>
                        
                
                
        </div>

        
</div>


</div>
</blockquote>
<br>
<br></div></div><span class="HOEnZb"><font color="#888888">-- 
<br>Roman Klochkov<br></font></span></div>
</blockquote></div><br></div>