[polyml] suppressing compiler output

On 29/03/2013 08:42, Gergely Buday wrote:

Back to the original question: this is why I would like to suppress any compiler message.

I did not find such a flag in the manual, would it be possible to add one, David?

There have been a few suggestions for how to write your own top level and that's definitely the best way if you really want control over the output. I've just committed a change so that the -q option now sets PolyML.print_depth to zero so that by default the output won't be printed. To suppress the prompt you would be better off using the --use option to run the file directly. You will need to add OS.Process.exit OS.Process.success: unit; at the end if you don't want to enter the main read-eval-print-loop.

David