[plt-scheme] Typed Scheme polymorphic variadic functions

From: Sam TH (samth at ccs.neu.edu)
Date: Tue Mar 17 17:20:20 EDT 2009

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

Posted on the users mailing list.