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