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
