<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><br></div><div>In full Racket, use rackunit and it has all these goodies. </div><div><br></div><div>For *SL, I prefer it if students spell it all out. It is trivial to indoctrinate every single student</div><div>with a test is only a test if it consists of an expression and an expected value. </div><div><br></div><div><br></div><br><div><div>On Oct 13, 2011, at 7:43 PM, Adam Shaw wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">Forgive me if the following already exists in Racket, but I would appreciate if something like<div><br></div><div><font class="Apple-style-span" face="'Courier New'">(check-fact <bool-exp>)</font></div><div><br></div><div>(or check-pred, check-truth, whatever) as an alternative to</div><div><br></div><div><font class="Apple-style-span" face="'Courier New'">(check-expect <bool-exp> true)</font></div><div><br></div><div>Seems like it would be a reasonable addition.</div><div><br></div><div>Cheers - Adam</div></div>_________________________________________________<br>  For list-related administrative tasks:<br>  <a href="http://lists.racket-lang.org/listinfo/users">http://lists.racket-lang.org/listinfo/users</a></blockquote></div><br></body></html>