4 Oct
2011
4 Oct
'11
11:26 a.m.
Hello Michael and Rob:
And to get rid of the
?val it = () : unit
from doing the print_depth command, issue it as
?val _ = PolyML.print_depth 0;
This works! I have got the result I wanted.
It seems like you can't get rid of the very first > sign that the interpreter prints out though.
True.
Thanks, Hong