[racket-dev] Something wrong with check-within

From: David Van Horn (dvanhorn at ccs.neu.edu)
Date: Thu Nov 11 19:54:34 EST 2010

On 11/11/10 7:34 PM, Nadeem Abdul Hamid wrote:
> The check-within in the follow program (in BSL/ISL) seems to hang.

I see DrRacket (5.0.1, 5.0.99) loop on this:

(check-within (make-posn (list 0)
                          (list 0))
               (make-posn (list 0)
                          (list 0))


Posted on the dev mailing list.