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 > _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
