plt/racket — pull request #121 by shekari (2012-08-01 03:12:39+00:00)
Title: Make predicate and Cast

This change implements make-predicate and the cast primitives for TR.

I don't really like that the tests are integration, but didn't see how to make them smaller, as they really need the whole typecheck algorithm (at the module or toplevel).