[racket] non-terminating type check for typed racket

From: Sam Tobin-Hochstadt (samth at ccs.neu.edu)
Date: Mon Apr 18 20:22:24 EDT 2011

On Mon, Apr 18, 2011 at 7:41 PM, Danny Yoo <dyoo at cs.wpi.edu> wrote:
>> 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?

sam th
samth at ccs.neu.edu

Posted on the users mailing list.