[plt-dev] request for typed library

Matthias Felleisen wrote:
> 
> We need one of three things:
> 
>  -- Kathy's test engine
>  -- SchemeUnit
>  -- Eli's test-->>>>#$%^^&*&
> 
> in Typed Scheme. Tests are indispensable, no matter how many types you 
> have in a program -- Matthias

check-expect ought to be low hanging fruit.  I tried doing it when I was 
working on Typed Student, but couldn't get things working.  You just 
want to tell TS that the check-expect form takes two subforms of type 
Any.  Since check-expect can only appear at the top-level it's return 
type is not important.

But since check-expect is a macro, the expanded code has to be 
well-typed.  Maybe one implementation strategy is have a functional 
check expect, check-expectf, typed:check-expect expands into that and 
check-expectf is wrapped with the contract Any Any -> Void.

This would go a long way for me.

David