[racket] Checking infinite loops

From: Shriram Krishnamurthi (sk at cs.brown.edu)
Date: Sun Oct 3 18:48:00 EDT 2010

Don't be harsh on yourself.  This one's a bit subtle.  I'd have missed it, too.

Shriram

On Sun, Oct 3, 2010 at 6:44 PM, Robby Findler
<robby at eecs.northwestern.edu> wrote:
> Actually I think this one is a bug I recently introduced in that code.
> I'll try to fix it soon.
>
> Robby
>
> 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!
>>
> _________________________________________________
>  For list-related administrative tasks:
>  http://lists.racket-lang.org/listinfo/users


Posted on the users mailing list.