[plt-dev] request for typed library

On Mar 17, 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

"My" tests (the CSU660 version) work almost trivially in TS, but
that's by declaring a type for the few functions involved.  It should
be fine to do it "for real" though, since it only relies on functions
that are being called to throw an error or not.

-- 
          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                  http://www.barzilay.org/                 Maze is Life!