<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> expected: number?</div><div> given: #f</div><div> argument position: 1st</div><div> other arguments...:</div><div> 0</div><div> context...:</div><div> /usr/racket/collects/drracket/private/syncheck/traversals.rkt:379:17: handle-phaseless-spec</div><div> /usr/racket/collects/drracket/private/syncheck/traversals.rkt:363:24: for-loop</div><div> /usr/racket/collects/drracket/private/syncheck/traversals.rkt:393:17: for-loop</div><div> /usr/racket/collects/drracket/private/syncheck/traversals.rkt:340:17: for-loop</div><div> /usr/racket/collects/drracket/private/syncheck/gui.rkt:2080:24</div><div> /usr/racket/collects/mred/private/wx/common/queue.rkt:451:6</div><div> /usr/racket/collects/mred/private/wx/common/queue.rkt:502:32</div><div> /usr/racket/collects/mred/private/wx/common/queue.rkt:650:3</div><div>channel-put: contract violation</div><div> expected: channel?</div><div> given: #f</div><div> context...:</div><div> /usr/racket/collects/racket/private/misc.rkt:168:2: channel-put</div><div><br></div><br>Воскресенье, 11 августа 2013, 0:01 +04:00 от Roman Klochkov <kalimehtar@mail.ru>:<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 <robby@eecs.northwestern.edu>:<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. <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>
Racket Users list:<br>
<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>