<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Exactly. That student is going to get an error message when DrRacket<br>
starts up saying that the handin tool is broken. They complain to<br>
someone, and so on.<br>
<br></blockquote><div><br></div><div>Or, even worse, the student can get the error message at Check Syntax time, after which because it's an internal error, DrRacket goes unresponsive and the user can't even save their program anymore. (I've had this happen a few times, and it's one of the worse case scenarios I've run into.) </div>
<div><br></div></div>