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. I think the last time I looked, it wouldn't be too hard to make a typed version. -- sam th [email protected] _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
