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