<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en"><head> <title></title> <meta http-equiv="content-type" content="text/html;charset=utf-8"/> <meta http-equiv="Content-Style-Type" content="text/css"/> </head> <body> <div align="left"> <font face="Courier New" size="2"> <span style=" font-size:10pt"> Hello,</span></font> </div> <div align="left"> <font face="Courier New" size="2"> <span style=" font-size:10pt"> <br /> </span> </font> </div> <div align="left"> <font face="Courier New" size="2"> <span style=" font-size:10pt"> I've tried the newest version of MzScheme, 4.0, with Cygwin and Rxvt and it doesn't print </span></font> </div> <div align="left"> <font face="Courier New" size="2"> <span style=" font-size:10pt"> out errors from the REPL. It gathers all the errors and prints them out when you exit from </span></font> </div> <div align="left"> <font face="Courier New" size="2"> <span style=" font-size:10pt"> the REPL. It seems that similar problems were encountered with much earlier versions such </span></font> </div> <div align="left"> <font face="Courier New" size="2"> <span style=" font-size:10pt"> as 204. I tried installing the X server and xterm and the same thing happens with that. Is </span></font> </div> <div align="left"> <font face="Courier New" size="2"> <span style=" font-size:10pt"> there any setting that I might alter either on Cygwin/Rxvt or MzScheme to fix this?</span></font> </div> <div align="left"> <font face="Courier New" size="2"> <span style=" font-size:10pt"> <br /> </span> </font> </div> <div align="left"> <font face="Courier New" size="2"> <span style=" font-size:10pt"> PS: In Emacs w/Quack I get the same result as in Cygwin.</span></font> </div> <div align="left"> <font face="Courier New" size="2"> <span style=" font-size:10pt"> <br /> </span> </font> </div> <div align="left"> <font face="Courier New" size="2"> <span style=" font-size:10pt"> Costin</span></font> </div> <div align="left">  </div> </body> </html>