-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On 24-11-11 09:51, Marijn wrote: > Hi Robby, > > On 23-11-11 13:10, Robby Findler wrote: >> I'm not seeing that under ubuntu 10.04 using the version of >> Racket from this morning. Is there possibly something else that >> would need to be done to see the problem? > > Not that I can think of and this is not an intermittent problem. > > I did manage to produce some terminal output this time, by > Ctrl-C'ing in the terminal when syntax-check had frozen my drracket > (this morning's git master):
Still reproducing this with today's master. Marijn -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.18 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAk7d6CoACgkQp/VmCx0OL2zyzwCgl4nP767BHygcZ8YWS1j9HYxm UW8AoJPU8ZpvIvAOfLjOwngiW3wpg/TB =X/yI -----END PGP SIGNATURE----- _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev

