[racket] Checking infinite loops

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Sun Oct 3 18:44:29 EDT 2010

Actually I think this one is a bug I recently introduced in that code.
I'll try to fix it soon.


On Sun, Oct 3, 2010 at 5:43 PM, Eli Barzilay <eli at barzilay.org> wrote:
> Two minutes ago, Robby Findler wrote:
>> How does it do on this program:
>>   (begin (sleep 5) 'done)
>> ?
> Yeah, it has some false positives.  I need to update it with the
> recent halting problem solution code.
> --
>          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
>                    http://barzilay.org/                   Maze is Life!

Posted on the users mailing list.