[racket] non-terminating type check for typed racket

From: Danny Yoo (dyoo at cs.wpi.edu)
Date: Mon Apr 18 19:41:18 EDT 2011

> This program now compiles in approximately 3 seconds on my machine,
> whereas previously it was more than 2 minutes.

Awesome!  I look forward to trying this out.  Will this make the
upcoming Racket release?

Posted on the users mailing list.