<div dir="ltr">The requires depend on what is in the filesystem, not what is in the editor. Does that explain what you are seeing, perhaps?<div><br></div><div>Robby</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">
On Sat, Jun 22, 2013 at 2:38 PM, Sean Kanaley <span dir="ltr">&lt;<a href="mailto:skanaley@gmail.com" target="_blank">skanaley@gmail.com</a>&gt;</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&#39;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&#39;s repl.<br>
    <br>
    e.g.<br>
    <br>
    in a.rkt:<br>
    <br>
    #lang racket<div class="im"><br>
    (module+ test<br>
      (write &quot;?&quot;))<br>
    <br></div>
    save, then open new tab<br>
    <br>
    #lang racket<br>
    (require &quot;a.rkt&quot;)<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&#39;m not sure what happens in
    general.<div><div class="h5"><br>
    <br>
    <div>On 06/22/2013 03:30 PM, Robby Findler
      wrote:<br>
    </div>
    <blockquote type="cite">
      <div dir="ltr">Oh, maybe memory got corrupted somehow earlier
        along the line.
        <div><br>
        </div>
        <div>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><br>
        </div>
        <div>Robby</div>
        <div><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">&lt;<a href="mailto:skanaley@gmail.com" target="_blank">skanaley@gmail.com</a>&gt;</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><br>
                  <br>
                  <div>On 06/22/2013 03:12 PM, Robby Findler wrote:<br>
                  </div>
                  <blockquote type="cite">
                    <div dir="ltr">I&#39;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 &quot;#lang racket&quot; 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">&lt;<a href="mailto:skanaley@gmail.com" target="_blank">skanaley@gmail.com</a>&gt;</span>
                        wrote:<br>
                        <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I don&#39;t use modules
                          very much, so this could be the defined
                          behavior similar to how the ffi module
                          &quot;secretly&quot; (it&#39;s actually documented) doesn&#39;t
                          reload foreign libraries unless DrRacket is
                          restarted, but I didn&#39;t notice anything in the
                          documentation.  How to reproduce:<br>
                          <br>
                          (module+ test<br>
                            (write &quot;?&quot;))<br>
                          <br>
                          Without even running it, save the file, then
                          delete that expression.  Now run it (as in
                          ctrl+r), and it will write &quot;?&quot;.<br>
                          ____________________<br>
                           Racket Users list:<br>
                           <a 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>
  </div></div></div>

</blockquote></div><br></div>