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/