[racket] non-terminating type check for typed racket

On Mon, Apr 18, 2011 at 2:27 PM, Sam Tobin-Hochstadt <samth at ccs.neu.edu> wrote:
> On Mon, Apr 18, 2011 at 1:48 PM, Danny Yoo <dyoo at cs.wpi.edu> wrote:
>> On Mon, Apr 18, 2011 at 1:38 PM, Danny Yoo <dyoo at cs.wpi.edu> wrote:
>>> Hi Sam,
>>>
>>> Ok, I've reduced the example to a smaller, self-contained 188-line
>>> program, with a bunch of type declarations followed by a trivial
>>> function definition:
>>
>> Ok, reduced further to 87 line example.  It's short enough that I'll
>> just embed it here:
>
> Thanks a lot!  We'll see what we can do to make that run a bit faster.

This program now compiles in approximately 3 seconds on my machine,
whereas previously it was more than 2 minutes.
-- 
sam th
samth at ccs.neu.edu