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.setOuts...
-Matthew
On Fri, Nov 12, 2010 at 7:16 PM, Lucas Dixonldixon@inf.ed.ac.uk 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 polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml