29 May
2002
29 May
'02
4:58 p.m.
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/