<HTML><BODY>I was wrong about button "Check syntax". It hangs the window content and gives this message to the console:<br><br>+: contract violation<div>&nbsp; expected: number?</div><div>&nbsp; given: #f</div><div>&nbsp; argument position: 1st</div><div>&nbsp; other arguments...:</div><div>&nbsp; &nbsp;0</div><div>&nbsp; context...:</div><div>&nbsp; &nbsp;/usr/racket/collects/drracket/private/syncheck/traversals.rkt:379:17: handle-phaseless-spec</div><div>&nbsp; &nbsp;/usr/racket/collects/drracket/private/syncheck/traversals.rkt:363:24: for-loop</div><div>&nbsp; &nbsp;/usr/racket/collects/drracket/private/syncheck/traversals.rkt:393:17: for-loop</div><div>&nbsp; &nbsp;/usr/racket/collects/drracket/private/syncheck/traversals.rkt:340:17: for-loop</div><div>&nbsp; &nbsp;/usr/racket/collects/drracket/private/syncheck/gui.rkt:2080:24</div><div>&nbsp; &nbsp;/usr/racket/collects/mred/private/wx/common/queue.rkt:451:6</div><div>&nbsp; &nbsp;/usr/racket/collects/mred/private/wx/common/queue.rkt:502:32</div><div>&nbsp; &nbsp;/usr/racket/collects/mred/private/wx/common/queue.rkt:650:3</div><div>channel-put: contract violation</div><div>&nbsp; expected: channel?</div><div>&nbsp; given: #f</div><div>&nbsp; context...:</div><div>&nbsp; &nbsp;/usr/racket/collects/racket/private/misc.rkt:168:2: channel-put</div><div><br></div><br>Воскресенье, 11 августа 2013, 0:01 +04:00 от Roman Klochkov &lt;kalimehtar@mail.ru&gt;:<br>
<blockquote style="border-left:1px solid #0857A6; margin:10px; padding:0 0 0 10px;" class="mailru-blockquote">
        <div id="">
        



    






        

        
        
        
        
        

        



<div class="js-helper js-readmsg-msg">
        <style type="text/css"></style>
        <div id="style_13761651220000000799" class="mr_read__body">
                <base target="_self" href="https://e.mail.ru/">
                
                        <div id="style_13761651220000000799_BODY">
<a href="https://github.com/Kalimehtar/Racket-gir/blob/master/manual.scrbl" data-mce-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;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;">
        <div id="">
        



    






        

        
        
        
        
        

        



<div>
        
        <div id="style_13761645550000000593">
                
                
                        <div id="style_13761645550000000593_BODY">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>-- 
<br>Roman Klochkov<br>
</div>
                        <div>____________________<br>
&nbsp;&nbsp;Racket Users list:<br>
&nbsp;&nbsp;<a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
<br>
</div>
                
                <base target="_self" href="https://e.mail.ru/">
        </div>

        
</div>


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