On 19 Nov 2010, at 20:07, Makarius wrote:
> 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.)?
>
Yes, it can - who does that remind me of? :-)
Regards,
Robl
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
