<HTML><BODY>Fixed:&nbsp;&nbsp;("+: contract violation ...")&nbsp;<br><br>Not fixed:<br>call-with-output-file: forbidden (read write) access to /home/monk/.racket/planet/300/5.90.0.5/.LOCKHARD-LINKS<br><br>I think, that I enabled "raco pkg" now. But without development link to planet "raco pkg create" breaks with&nbsp;<br><p>raco setup: error: during making for /home/monk/languages/racket/gi/gi-ffi (GI-FFI)<br>raco setup: manual.scrbl:5:38: planet: ill-formed module path<br>raco setup: in: (planet #f)<br></p><br><br>Воскресенье, 11 августа 2013, 6:59 -05:00 от Robby Findler &lt;robby@eecs.northwestern.edu&gt;:<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; position: static; z-index: auto; " class="mailru-blockquote">
        <div id="">
        



    






        

        
        
        
        
        

        



<div class="js-helper js-readmsg-msg">
        <style type="text/css"></style>
        <div id="style_13762223560000000821" class="mr_read__body">
                <base target="_self" href="https://e.mail.ru/">
                
                        <div id="style_13762223560000000821_BODY"><div dir="ltr">Thanks. I've pushed a fix for this. And the other error you mention ("+: contract violation ..."), 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>&nbsp;&nbsp;<a href="http://www.cs.utah.edu/plt/snapshots/" target="_blank">http://www.cs.utah.edu/plt/snapshots/</a></div><div>&nbsp;&nbsp;<a href="http://plt.eecs.northwestern.edu/snapshots/" target="_blank">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><br><br><div>On Sat, Aug 10, 2013 at 3:01 PM, Roman Klochkov <span dir="ltr">&lt;<a href="sentmsg?mailto=mailto%3akalimehtar@mail.ru" target="_blank">kalimehtar@mail.ru</a>&gt;</span> wrote:<br>
<blockquote 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="sentmsg?mailto=mailto%3arobby@eecs.northwestern.edu" target="_blank">robby@eecs.northwestern.edu</a>&gt;:<div>
<div><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.&nbsp;<br><br>Please help<br><br>-- <br>Roman Klochkov</div>
</blockquote></div>

</div>
                        
                
                
        </div>

        
</div>


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

</div>
                        
                
                <base target="_self" href="https://e.mail.ru/">
        </div>

        
</div>


</div>
</blockquote>
<br>
<br>-- 
<br>Roman Klochkov<br></BODY></HTML>