
26 Oct
2006
26 Oct
'06
6:50 a.m.
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