I am working with named pipes to output large amounts of text to an external process. Looking at the sources of basis/TextIO.sml etc. I've got the impression that pipes are always line-buffered. Is there an easy way to get block-buffering?
Makarius
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
