[plt-dev] request for typed library

On 17 Mar 2009, at 4:02:00, Sam TH wrote:

> On Mon, Mar 16, 2009 at 8:37 PM, Kathy Gray  
> <kathryn.gray at cl.cam.ac.uk> 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/dev/archive/attachments/20090317/80051421/attachment.html>