<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><br><div><div>On 17 Mar 2009, at 4:02:00, Sam TH wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div>On Mon, Mar 16, 2009 at 8:37 PM, Kathy Gray <<a href="mailto:kathryn.gray@cl.cam.ac.uk">kathryn.gray@cl.cam.ac.uk</a>> wrote:<br><blockquote type="cite">On 17 Mar 2009, at 12:30:42, Matthias Felleisen wrote:<br></blockquote><blockquote type="cite"><br></blockquote><blockquote type="cite"><blockquote type="cite"><br></blockquote></blockquote><blockquote type="cite"><blockquote type="cite">I'd like the textual part of htdp/testing to be turned into a typed<br></blockquote></blockquote><blockquote type="cite"><blockquote type="cite">library. If it is, is it checked in? -- Matthias<br></blockquote></blockquote><blockquote type="cite"><br></blockquote><blockquote type="cite">htdp/testing is deprecated and, as I keep saying, should disappear when<br></blockquote><blockquote type="cite">there are no more requirements on it.<br></blockquote><blockquote type="cite"><br></blockquote><blockquote type="cite">The functions provided by htdp/testing are actually implemented by<br></blockquote><blockquote type="cite">test-engine/scheme-tests.ss, which is what anyone using htdp/testing should<br></blockquote><blockquote type="cite">be using now instead. I don't know if the implementation could be turned<br></blockquote><blockquote type="cite">into a typed library.<br></blockquote><br>Is there a plan for a library to be used by programs that aren't<br>written in the teaching languages? `check-expect' is nicely<br>lightweight, but it's hard to recommend its use when it has no<br>non-teaching-language documentation or module.</div></blockquote><div><br></div>The test-engine/scheme-tests.ss can be used as a library by programs that aren't written in the teaching language currently; the test results from this library appear in print statements instead of a window in DrScheme.</div><div><br></div><div>Documentation is coming.</div><div><br></div><div>-Kathy</div></body></html>