[plt-scheme] Typed Scheme polymorphic variadic functions

2009/3/17 Anthony Cowley <acowley at seas.upenn.edu>:
>
> ;(apply check-all tests) ; Works in untyped, but not in typed
> (check-all (car tests) (cadr tests)) ; Works in typed or untyped

This is now fixed in SVN.  I've added your code as a test in the Typed
Scheme test suite - I hope you don't mind.

Thanks for your feedback on Typed Scheme.
-- 
sam th
samth at ccs.neu.edu