David, On 29 Mar 2013, at 11:50, David Matthews <david.matth...@prolingua.co.uk> wrote:
> 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. Quite a common thing to do in UN*X applications is not to prompt if the input isn't a terminal. Obviously, I can write my own read-eval-print loop that does that (indeed the read-eval-print loop in my earlier post on this topic doesn't prompt at all), but it might be a nice companion to the change you have just made to make the top level do that out of the box. That would give Gergely Buday exactly what he is asking for (i.e., the ability to have poly read code from the standard input and only output what the compiled code outputs). Regards, Rob,._______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml