
7 Jan
2004
7 Jan
'04
8:06 a.m.
Hugs treats standard input quite strangely: it turns off echo and buffering (if a terminal), getChar echoes input chars on stdout (which makes no sense if either stdin or stdout is redirected) but hGetChar stdin and interact don't. It's painful to type input without line editing, and you can't use the interrupt key. I propose to just leave stdin alone, but allow hSetBuffering and hSetEcho to change the modes of any handle connected to a terminal. (Though the modes of stdin should be reset on exit and after each evaluation.) However I don't understand what it's doing under Windows.