[racket] non-terminating type check for typed racket

From: Sam Tobin-Hochstadt (samth at ccs.neu.edu)
Date: Sun Apr 17 18:10:47 EDT 2011

On Sun, Apr 17, 2011 at 3:04 PM, Danny Yoo <dyoo at cs.wpi.edu> wrote:
> This behavior appears for both Racket 5.0.1 as well as Racket 5.1.
> I've git tagged my project as 'infinite-typecheck' at the point where
> I'm seeing this behavior.
>    https://github.com/dyoo/js-sicp-5-5/tree/infinite-typecheck

We'll take a look, but a reduced test case would be very nice ...

Thanks for the report!
sam th
samth at ccs.neu.edu

Posted on the users mailing list.