On 17 Mar 2009, at 4:02:00, Sam TH wrote:
On Mon, Mar 16, 2009 at 8:37 PM, Kathy Gray
<[email protected]> wrote:
On 17 Mar 2009, at 12:30:42, Matthias Felleisen wrote:
I'd like the textual part of htdp/testing to be turned into a typed
library. If it is, is it checked in? -- Matthias
htdp/testing is deprecated and, as I keep saying, should disappear
when
there are no more requirements on it.
The functions provided by htdp/testing are actually implemented by
test-engine/scheme-tests.ss, which is what anyone using htdp/
testing should
be using now instead. I don't know if the implementation could be
turned
into a typed library.
Is there a plan for a library to be used by programs that aren't
written in the teaching languages? `check-expect' is nicely
lightweight, but it's hard to recommend its use when it has no
non-teaching-language documentation or module.
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.
Documentation is coming.
-Kathy
_________________________________________________
For list-related administrative tasks:
http://list.cs.brown.edu/mailman/listinfo/plt-dev
