13 Nov
2010
13 Nov
'10
12:16 a.m.
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.