On Sun, 14 Nov 2010, Rob Arthan wrote:
For the record, you can also achieve this kind of effect with Posix.IO.dup2. See below for sample code.
This looks like an interesting trick. Can it also handle output produced by the Poly/ML runtime system (exception_trace etc.)?
Makarius
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
