Hugs & stdin

[Ross Paterson]

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.