[plt-dev] request for typed library

From: Kathy Gray (kathryn.gray at cl.cam.ac.uk)
Date: Mon Mar 16 20:37:11 EDT 2009

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.


Posted on the dev mailing list.