That is normal Unix behaviour. Try the same input with

head -1c | od -c; head -1c | od -c The terminal buffer is only discarded if a program changes the terminal mode. Hugs and ghci do (because they use readline), but runhugs doesn't.

Ah, so that's it! Thanks, all. Hans van Thiel