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
_________________________________________________
For list-related administrative tasks:
http://list.cs.brown.edu/mailman/listinfo/plt-dev
