[plt-dev] request for typed library

From: Eli Barzilay (eli at barzilay.org)
Date: Tue Mar 17 08:44:02 EDT 2009

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!

Posted on the dev mailing list.