plt/racket — pull request #222 by shekari (2013-01-27 23:56:23+00:00)
Title: Fix heterogeneous vector typechecking.

I need to fix the tests before this can be committed. But currently the unit test framework doesn't allow for supplying the expected type.

Should this be another keyword to tc-e or should I make a separate macro that does that?