[racket] Checking infinite loops
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