Here goes nothing..
Alastair Reid
reid@cs.utah.edu
29 May 2002 17:58:14 +0100
This problem is with runhugs not Hugs, right?
Easy to reproduce (slightly different but still wrong output):
$ cat > /tmp/foo.hs
main = getLine >>= print
$ cat /dev/null | runhugs /tmp/foo.hs
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿ
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿ...
IIRC, end of file detection is scrogged in Hugs - but that mostly
doesn't matter because Hugs is usually used interactively (where end
of file doesn't readily occur).
[Note: this is just to confirm details. I'm not working on a fix for
this because I'm in the middle of something else - maybe someone else
on this list could chase this up?]
--
Alastair Reid reid@cs.utah.edu http://www.cs.utah.edu/~reid/