<html> <head> <meta content="text/html; charset=UTF-8" http-equiv="Content-Type"> </head> <body bgcolor="#FFFFFF" text="#000000"> I've got it this time:<br> <br> The test file with the module+ must be required by another, not even necessarily saved file (untitled # is fine). It seems the tests are being run therefore in the *other* file, yet displayed in the current file's repl.<br> <br> e.g.<br> <br> in a.rkt:<br> <br> #lang racket<br> (module+ test<br> (write "?"))<br> <br> save, then open new tab<br> <br> #lang racket<br> (require "a.rkt")<br> <br> go back to a.rkt, comment out, and it will print. It may or may not print after depending on exactly which order of save/ctrl+r/commenting/etc. and I'm not sure what happens in general.<br> <br> <div class="moz-cite-prefix">On 06/22/2013 03:30 PM, Robby Findler wrote:<br> </div> <blockquote cite="mid:CAL3TdOPw2-Nq9Nzf310MOgTkKLW4m05A50P5G01jjh2HJ2cOLg@mail.gmail.com" type="cite"> <div dir="ltr">Oh, maybe memory got corrupted somehow earlier along the line. <div><br> </div> <div style="">Just in case it is relevant: DrRacket tries hard to protect itself against buggy user programs, but it cannot do that when #%foreign is being used (unsafely). </div> <div style=""><br> </div> <div style="">Robby</div> <div style=""><br> </div> </div> <div class="gmail_extra"><br> <br> <div class="gmail_quote">On Sat, Jun 22, 2013 at 2:25 PM, Sean Kanaley <span dir="ltr"><<a moz-do-not-send="true" href="mailto:skanaley@gmail.com" target="_blank">skanaley@gmail.com</a>></span> wrote:<br> <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> <div bgcolor="#FFFFFF" text="#000000"> I myself can no longer reproduce it after closing and reopening DrRacket. By coincidence, before closing it, the menus stopped working and I got a Ubuntu error of some sort as well. I shall keep trying for a bit. <div> <div class="h5"><br> <br> <div>On 06/22/2013 03:12 PM, Robby Findler wrote:<br> </div> <blockquote type="cite"> <div dir="ltr">I'm not seeing that behavior (that is a bug, tho). I tried these steps: <div><br> </div> <div>1) cmd-t to create a new tab in DrRacket.</div> <div>2) paste the expression above (there is an automatic "#lang racket" inserted).</div> <div>3) save the file.</div> <div>4) delete the above expression</div> <div>5) hit run.<br> <div><br> </div> <div>No output observed.</div> <div><br> </div> <div>Were you doing something differently?</div> <div><br> </div> <div>Robby</div> </div> </div> <div class="gmail_extra"><br> <br> <div class="gmail_quote">On Sat, Jun 22, 2013 at 2:02 PM, Sean Kanaley <span dir="ltr"><<a moz-do-not-send="true" href="mailto:skanaley@gmail.com" target="_blank">skanaley@gmail.com</a>></span> wrote:<br> <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I don't use modules very much, so this could be the defined behavior similar to how the ffi module "secretly" (it's actually documented) doesn't reload foreign libraries unless DrRacket is restarted, but I didn't notice anything in the documentation. How to reproduce:<br> <br> (module+ test<br> (write "?"))<br> <br> Without even running it, save the file, then delete that expression. Now run it (as in ctrl+r), and it will write "?".<br> ____________________<br> Racket Users list:<br> <a moz-do-not-send="true" href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br> </blockquote> </div> <br> </div> </blockquote> <br> </div> </div> </div> </blockquote> </div> <br> </div> </blockquote> <br> </body> </html>