<br><br><div><span class="gmail_quote">On 10/25/06, <b class="gmail_sendername">Neil Mitchell</b> <<a href="mailto:ndmitchell@gmail.com">ndmitchell@gmail.com</a>> wrote:</span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
> How can I input EOF symbol in WinHugs?<br><br>No possible way. If you could type the NUL character that might<br>possibly work, but even then 1) you can't, 2) it might not.<br><br>Do you have a particular need for typing the "end of getContents" in
<br>WinHugs? If so, I can open a bug and might be able to fix it for the<br>next release.</blockquote><div><br><br>Thank you!<br><br>Surely I can get along without getContents in WinHugs: last time I thought about<br>it I just wanted to show getContents function to my students (and using hGetContents
<br>on a file handle seems to be better example). Another function that<br>could be useful when teaching IO is 'interact', and it seems that it's also<br>impossible to use it without typing EOF (am I right?).<br><br>So it would be nice to have a way to type EOF in WinHugs, but surely it's a
<br>feature one can live without.<br><br>And thank you for WinHugs, it is really useful!<br></div><br></div>-- <br>Dimitri