[plt-dev] request for typed library

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.

-Kathy