[racket] non-terminating type check for typed racket

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.
-- 
sam th
samth at ccs.neu.edu