Alex, hello! Thank you for your reply. No, we are just using Beginning Student Language in HTDP course. Apart from my bug report, there are two other similar reports on our forums. But I don't know how persistent the problem is. On the one side if we are the only students that observe that lag, then we are way outnumbered by those who don't. On the other, we don't know, who just didn't mention it or tolerate it silently.
The common things are 64 bit version and OS X. No other commonalities jumped out for me from available information. I don't even know if downgrading to v6.2.1 was helpful to others. I have posted link to this thread on our forums, may be some other students will be able to supply more useful information. > This might be a wild guess, but are you using typed/racket as the language? > On my machine (Windows 7, DrRacket 6.6), if I use #lang typed/racket, > evaluate it than type "Hello World" in the REPL, it takes about 2 seconds to > display the result (after that it seems to run fast). If I just use #lang > racket, it is instantaneous. > > Best Regards, > Alex. > > > On Thursday, July 28, 2016 at 10:52:10 AM UTC+8, Robby Findler wrote: > > Okay, thanks. (For the record, I use Mac OS X 10.11 routinely and do > > not experience this issue, so there must be something something else > > going on. I'm not sure what guess to make next, but it is interesting > > that 6.2.1 didn't have this issue.) > > > > On Wed, Jul 27, 2016 at 9:45 PM, Ivan Kuzmin wrote: > > > But nothing changes in working order. > > > > > > -- > > > You received this message because you are subscribed to the Google Groups > > > "Racket Users" group. > > > To unsubscribe from this group and stop receiving emails from it, send an > > > email to racket-users+unsubscr...@googlegroups.com. > > > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
