Dear Rob,

Thank you for your guide.

...

I am trying to write a simple CGI program using Poly/ML. Is it possible to turn off the Poly/ML's type prompt message in the output?

The prompts are held in variables that you can assign to. The following will do what you are asking for: PolyML.Compiler.prompt1 := ""; PolyML.Compiler.prompt2 := "";

These does not work, because when I entry it, the system still prints out the response:

val it = (): unit

Any way to turn these messages off when I start Poly/ML?

You will still get the banner message when it starts.

I turned this off successfully when I start poly and supplied it with the switch -q, it works.

You might also like to think about turning your program into a stand-alone application, see?http://www.polyml.org/FAQ.html#standalone

Yes, this could a solution for CGI.

Best, Hong

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.