Thanks guys, that works! Still, it's pretty confusing that running <font face="'courier new', monospace">(test)</font> from the repl does not work, only inserting it at the end of the file. It would be nice to mention that in the docs, something like:<div>
<br></div><div>"<span style="font-family:serif;background-color:rgb(255, 255, 255);font-size:medium">Note that the check forms only register checks to be performed. The checks are actually run by the <span style="font-family:monospace;white-space:inherit;color:rgb(38, 38, 128)"><a style="text-decoration:none;color:blue">test</a></span> function."</span></div>
<div><font face="serif" size="3"><br></font></div><div>=></div><div><font face="serif" size="3"><br></font></div>
<div><font face="serif" size="3"><span style="font-family:arial;font-size:small">"<span style="font-family:serif;background-color:rgb(255, 255, 255);font-size:medium">Note that the check forms only register checks to be performed. The checks are actually run by the <span style="font-family:monospace;white-space:inherit;color:rgb(38, 38, 128)"><a style="text-decoration:none;color:blue">test</a></span> function, which should be called at the end of the file. Using </span></span></font><span class="Apple-style-span" style="font-family: serif; background-color: rgb(255, 255, 255); font-size: medium; "><span style="font-family: monospace; white-space: inherit; color: rgb(38, 38, 128); "><a style="text-decoration: none; color: blue; ">test</a></span> in the REPL will not run check forms declared in the definitions</span><span class="Apple-style-span" style="font-family: serif; background-color: rgb(255, 255, 255); font-size: medium; ">."</span></div>
<div><br>I'm not really sure that's the best way to phrase it, but something like that definitely would have saved me a few hours. I could submit that as a patch if anyone else thinks its worth mentioning.</div><div>
<br></div><div>One other question: since <font face="'courier new', monospace">(test)</font> must be added explicitly, what does the Enable/Disable Tests option in the Racket menu do? It doesn't appear to affect the automatic test-running of "Beginning Student" either. It could be a bug, but I'd be willing to bet that I'm missing something else basic here as well.</div>
<div><br><div class="gmail_quote">On Sun, Sep 18, 2011 at 8:30 PM, Stephen Bloch <span dir="ltr"><<a href="mailto:sbloch@adelphi.edu" target="_blank">sbloch@adelphi.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div style="word-wrap:break-word">
<br><div><div><div>On Sep 18, 2011, at 8:21 PM, Luke Vilnis wrote:</div><br><blockquote type="cite"><div>I was wondering how to get test-engine working with <font face="'courier new', monospace">#lang</font>, or non-student languages in general. I tried something like this:</div>
<div><br></div><div><div><font face="'courier new', monospace">#lang racket</font></div><div><font face="'courier new', monospace">(require test-engine/racket-tests)</font></div> <div><font face="'courier new', monospace">(check-expect 12 (+ 6 7)) ;;sic</font></div>
</div><div><br></div><div>But no luck. I also tried it with <font face="'courier new', monospace">(require test-engine/racket-gui)</font>, but I'm guessing I must be missing something really basic here because I can't even get it to work textually. I type <font face="'courier new', monospace">(run-tests)</font>, <font face="'courier new', monospace">(test)</font>, <font face="'courier new', monospace">(display-results)</font>, pretty much anything I can think of at the repl, and I get nothing. It's as if all my output is going to some hidden buffer somewhere. It works fine (sans the <font face="'courier new', monospace">require</font>) using HTDP languages, so I don't think it's a problem with my install.</div>
</blockquote><div><br></div></div>Did you try (test) at the end of the definitions pane?</div><div><br></div><div>In the student languages, check-expect is given the magical ability to run automatically after a complete pass through everything else. I haven't looked at the code for test-engine/racket-tests, but that version of check-expect is less magical: it still doesn't run immediately (so you can still put test cases for a function ahead of the function's definition), but you have to explicitly say "(test)" to get it to run at all.</div>
<div><br></div><font color="#888888"><br><div> <span style="border-collapse:separate;color:rgb(0, 0, 0);font-family:Helvetica;font-size:12px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:auto;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"><div>
Stephen Bloch</div><div><a href="mailto:sbloch@adelphi.edu" target="_blank">sbloch@adelphi.edu</a></div><div><br></div></span><br> </div><br></font></div></blockquote></div><br></div>