<div dir="ltr">I would say that if you know where to change, please go ahead.<div><br></div><div>Robby</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Sat, Jul 6, 2013 at 8:56 AM, Sam Tobin-Hochstadt <span dir="ltr"><<a href="mailto:samth@ccs.neu.edu" target="_blank">samth@ccs.neu.edu</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Should I change the docs as well? Or do you want to do that, Jay?<br>
<div class="HOEnZb"><div class="h5"><br>
On Sat, Jul 6, 2013 at 9:53 AM, Robby Findler<br>
<<a href="mailto:robby@eecs.northwestern.edu">robby@eecs.northwestern.edu</a>> wrote:<br>
> That's the plan. Thanks for fixing them.<br>
><br>
> Robby<br>
><br>
><br>
> On Sat, Jul 6, 2013 at 8:47 AM, Sam Tobin-Hochstadt <<a href="mailto:samth@ccs.neu.edu">samth@ccs.neu.edu</a>><br>
> wrote:<br>
>><br>
>> I recently discovered that DrDr runs `raco test` by default on files,<br>
>> and has since February. However, the DrDr documentation says that it<br>
>> runs `racket -t`. I discovered this because the change caused many of<br>
>> the `net` tests to no longer actually run; see<br>
>><br>
>><br>
>> <a href="http://drdr.racket-lang.org/27042/pkgs/racket-pkgs/racket-test/tests/net/url.rkt" target="_blank">http://drdr.racket-lang.org/27042/pkgs/racket-pkgs/racket-test/tests/net/url.rkt</a><br>
>><br>
>> which appears to be successful, even though running `racket` on that<br>
>> file would have shown the error that I fixed in<br>
>> <a href="https://github.com/plt/racket/commit/a4e529a816" target="_blank">https://github.com/plt/racket/commit/a4e529a816</a> . These tests are a<br>
>> particularly bad case because they run all their tests in the `main`<br>
>> submodule, and thus are *not* executed by `raco test`. If the plan is<br>
>> for everything to run with `raco test`, I'll fix these tests. But<br>
>> what is the plan?<br>
>><br>
>> Sam<br>
>> _________________________<br>
>> Racket Developers list:<br>
>> <a href="http://lists.racket-lang.org/dev" target="_blank">http://lists.racket-lang.org/dev</a><br>
><br>
><br>
</div></div></blockquote></div><br></div>