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