4 Oct
2011
4 Oct
'11
7:26 a.m.
On 04/10/11 16:08, Rob Arthan wrote:
On 4 Oct 2011, at 02:56, Hong Feng wrote:
These does not work, because when I entry it, the system still prints out the response:
val it = (): unit
To turn those messages off do:
PolyML.print_depth 0;
And to get rid of the
val it = () : unit
from doing the print_depth command, issue it as
val _ = PolyML.print_depth 0;
It seems like you can't get rid of the very first > sign that the interpreter prints out though.
Michael.