Thanks! that is exactly what I was looking for.
lucas
On 13/11/2010 01:06, Matthew Fluet wrote:
I think you want the "setOutstream" function of the IMPERATIVE_IO
signature (matched by TextIO), probably in conjunction with the
"getOutstream" function.
See
http://www.standardml.org/Basis/imperative-io.html#SIG:IMPERATIVE_IO.setOutstream:VAL
-Matthew
On Fri, Nov 12, 2010 at 7:16 PM, Lucas Dixon<[email protected]> wrote:
Hi,
I was recently wondering if it is possible to redirect std-out to go to a
different output stream in ML. Has anyone done anything similar? I was
having trouble seeing how to do this with the Standard-ML basis...
any suggestions on directions to look at? I can see how to effectively to it
by hacking the compiler... but was wondering if there is a better way...
(surely!?) ?
cheers,
lucas
--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
